Searched refs:vmm_present (Results 1 – 1 of 1) sorted by relevance
139 int vmm_present = 0; in sysctl_vmm_present() local143 (void) IODTGetDefault("vmm-present", &vmm_present, sizeof(vmm_present)); in sysctl_vmm_present()146 vmm_present = cpuid_vmm_present(); in sysctl_vmm_present()149 vmm_present = !!vmm_present; in sysctl_vmm_present()150 return SYSCTL_OUT(req, &vmm_present, sizeof(vmm_present)); in sysctl_vmm_present()