Searched refs:VMX_CTR4 (Results 1 – 2 of 2) sorted by relevance
| /freebsd-head/sys/amd64/vmm/intel/ | ||
| HD | vmx.h | 164 #define VMX_CTR4(vcpu, format, p1, p2, p3, p4) \ macro |
| HD | vmx.c | 2515 VMX_CTR4(vcpu, "task switch reason %d, tss 0x%04x, " in vmx_exit_process() |