Searched refs:VMCB_CACHE_SEG (Results 1 - 3 of 3) sorted by relevance

/freebsd-10.2-release/sys/amd64/vmm/amd/
H A Dvmcb.c321 svm_set_dirty(sc, vcpu, VMCB_CACHE_SEG);
390 svm_set_dirty(sc, vcpu, VMCB_CACHE_SEG);
H A Dvmcb.h114 #define VMCB_CACHE_SEG BIT(8) /* User segments, CPL */ macro
H A Dsvm.c92 VMCB_CACHE_SEG | \

Completed in 103 milliseconds