Searched refs:VMCB_CACHE_DT (Results 1 - 3 of 3) sorted by relevance
| /freebsd-11-stable/sys/amd64/vmm/amd/ | ||
| H A D | vmcb.c | 406 svm_set_dirty(sc, vcpu, VMCB_CACHE_DT); |
| H A D | vmcb.h | 115 #define VMCB_CACHE_DT BIT(7) /* GDT/IDT */ macro |
| H A D | svm.c | 94 VMCB_CACHE_DT | \ |
Completed in 56 milliseconds