Symbol: vmx_x86_supported
usr/src/uts/intel/io/vmm/vmm_sol_dev.c
100
extern int vmx_x86_supported(const char **);
usr/src/uts/intel/io/vmm/vmm_sol_dev.c
3092
r = vmx_x86_supported(&msg);