Searched refs:vmcb_clean (Results 1 – 2 of 2) sorted by relevance
317 uint32_t vmcb_clean; /* 0xC0: VMCB clean bits for caching */ member
105 static uint32_t vmcb_clean = VMCB_CACHE_DEFAULT; variable170 vmcb_clean &= VMCB_CACHE_DEFAULT; in svm_init()2023 ctrl->vmcb_clean = vmcb_clean & ~vcpustate->dirty; in svm_vmrun()