Searched refs:VMCB_CACHE_NONE (Results 1 – 3 of 3) sorted by relevance
90 uint32_t dirty = VMCB_CACHE_NONE; in vmcb_regptr()
118 #define VMCB_CACHE_NONE 0 /* No caching */ macro
2211 dirty = VMCB_CACHE_NONE; in svm_setreg()2273 if (dirty != VMCB_CACHE_NONE) { in svm_setreg()