Searched refs:vmcb_clean (Results 1 – 2 of 2) sorted by relevance
105 static uint32_t vmcb_clean = VMCB_CACHE_DEFAULT; variable106 SYSCTL_INT(_hw_vmm_svm, OID_AUTO, vmcb_clean, CTLFLAG_RDTUN, &vmcb_clean,259 vmcb_clean &= VMCB_CACHE_DEFAULT; in svm_modinit()2220 ctrl->vmcb_clean = vmcb_clean & ~vcpu->dirty; in svm_run()2222 SVM_CTR1(vcpu, "vmcb clean %#x", ctrl->vmcb_clean); in svm_run()
292 uint32_t vmcb_clean; /* 0xC0: VMCB clean bits for caching */ member