VMCB_CACHE_NONE
dirty = VMCB_CACHE_NONE;
if (dirty != VMCB_CACHE_NONE) {
uint32_t dirty = VMCB_CACHE_NONE;