Searched refs:VMCB_INTCPT_INVLPGA (Results 1 - 2 of 2) sorted by relevance
| /freebsd-11-stable/sys/amd64/vmm/amd/ | ||
| H A D | vmcb.h | 77 #define VMCB_INTCPT_INVLPGA BIT(26) macro |
| H A D | svm.c | 473 svm_enable_intercept(sc, vcpu, VMCB_CTRL1_INTCPT, VMCB_INTCPT_INVLPGA); |
Completed in 161 milliseconds