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()
8492 __init int vmx_hardware_setup(void) in vmx_hardware_setup() function