Searched refs:vmx_hardware_setup (Results 1 – 3 of 3) sorted by relevance
9 __init int vmx_hardware_setup(void);
28 ret = vmx_hardware_setup(); in vt_hardware_setup()
8690 __init int vmx_hardware_setup(void) in vmx_hardware_setup() 8686 __init int vmx_hardware_setup(void) vmx_hardware_setup() function