Searched refs:vmcb_clean (Results 1 – 2 of 2) sorted by relevance
103 static uint32_t vmcb_clean = VMCB_CACHE_DEFAULT; variable104 SYSCTL_INT(_hw_vmm_svm, OID_AUTO, vmcb_clean, CTLFLAG_RDTUN, &vmcb_clean,255 vmcb_clean &= VMCB_CACHE_DEFAULT; in svm_modinit()2103 ctrl->vmcb_clean = vmcb_clean & ~vcpustate->dirty; in svm_run()2105 VCPU_CTR1(vm, vcpu, "vmcb clean %#x", ctrl->vmcb_clean); in svm_run()
277 uint32_t vmcb_clean; /* 0xC0: VMCB clean bits for caching */ member