Searched refs:vmx_hardware_setup (Results 1 – 2 of 2) sorted by relevance
9 __init int vmx_hardware_setup(void);
8579 __init int vmx_hardware_setup(void) in vmx_hardware_setup() function