Searched refs:VMCB_CACHE_DT (Results 1 - 3 of 3) sorted by relevance
| /freebsd-10.2-release/sys/amd64/vmm/amd/ | ||
| H A D | vmcb.c | 394 svm_set_dirty(sc, vcpu, VMCB_CACHE_DT); |
| H A D | vmcb.h | 113 #define VMCB_CACHE_DT BIT(7) /* GDT/IDT */ macro |
| H A D | svm.c | 91 VMCB_CACHE_DT | \ |
Completed in 110 milliseconds