Symbol: vmm_is_hw_supported
sys/amd64/vmm/vmm.c
284
if (!vmm_is_hw_supported())
sys/amd64/vmm/vmm_util.h
34
bool vmm_is_hw_supported(void);