Home
last modified time | relevance | path

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

/freebsd/sys/amd64/vmm/amd/
H A Dvmcb.c350 svm_set_dirty(vcpu, VMCB_CACHE_SEG); in vmcb_write()
417 svm_set_dirty(vcpu, VMCB_CACHE_SEG); in vmcb_setdesc()
H A Dvmcb.h112 #define VMCB_CACHE_SEG BIT(8) /* User segments, CPL */ macro
H A Dsvm.c102 VMCB_CACHE_SEG | \