vmx_check_processor_compat
.check_processor_compatibility = vmx_check_processor_compat,
int vmx_check_processor_compat(void);