Searched refs:VCPU_CTR4 (Results 1 – 6 of 6) sorted by relevance
| /f-stack/freebsd/amd64/vmm/ |
| H A D | vmm_ktr.h | 53 #define VCPU_CTR4(vm, vcpuid, format, p1, p2, p3, p4) \ macro
|
| H A D | vmm_ioport.c | 171 VCPU_CTR4(vm, vcpuid, "%s%s 0x%04x: %s", in vm_handle_inout()
|
| H A D | vmm.c | 2023 VCPU_CTR4(vm, vcpuid, "%s: info1(%#lx), info2(%#lx), " in vm_entry_intinfo()
|
| /f-stack/freebsd/amd64/vmm/amd/ |
| H A D | vmcb.c | 397 VCPU_CTR4(sc->vm, vcpu, "Setting desc %d: base (%#lx), limit (%#x), " in vmcb_setdesc()
|
| H A D | svm.c | 1560 VCPU_CTR4(svm_sc->vm, vcpu, "%s %s vmexit at %#lx/%d", in svm_vmexit()
|
| /f-stack/freebsd/amd64/vmm/intel/ |
| H A D | vmx.c | 2455 VCPU_CTR4(vmx->vm, vcpu, "task switch reason %d, tss 0x%04x, " in vmx_exit_process()
|