Searched refs:VMCB_CACHE_DT (Results 1 – 3 of 3) sorted by relevance
| /freebsd/sys/amd64/vmm/amd/ | ||
| H A D | vmcb.h | 111 #define VMCB_CACHE_DT BIT(7) /* GDT/IDT */ macro |
| H A D | vmcb.c | 421 svm_set_dirty(vcpu, VMCB_CACHE_DT); in vmcb_setdesc() |
| H A D | svm.c | 101 VMCB_CACHE_DT | \ |