Searched refs:VMX_CTR2 (Results 1 – 2 of 2) sorted by relevance
| /freebsd/sys/amd64/vmm/intel/ |
| H A D | vmx.h | 158 #define VMX_CTR2(vcpu, format, p1, p2) \ macro
|
| H A D | vmx.c | 1478 VMX_CTR2(vcpu, "Guest interrupt blocking " in vmx_inject_interrupts()
1591 VMX_CTR2(vcpu, "Cannot inject vector %d due to " in vmx_inject_interrupts()
1598 VMX_CTR2(vcpu, "Cannot inject vector %d due to " in vmx_inject_interrupts()
1612 VMX_CTR2(vcpu, "Cannot inject vector %d due to " in vmx_inject_interrupts()
2559 VMX_CTR2(vcpu, "wrmsr 0x%08x value 0x%016lx", in vmx_exit_process()
2745 VMX_CTR2(vcpu, "Reflecting exception %d/%#x into " in vmx_exit_process()
3382 VMX_CTR2(vcpu, "Setting intr_shadow to %#lx %s", val, in vmx_modify_intr_shadow()
|