Symbol: vmm_enabled
sys/arch/amd64/amd64/mainbus.c
153
extern int vmm_enabled(void);
sys/arch/amd64/amd64/mainbus.c
256
if (vmm_enabled()) {
sys/arch/amd64/amd64/vmm_machdep.c
278
return vmm_enabled();
sys/arch/amd64/amd64/vmm_machdep.c
69
int vmm_enabled(void);