svm_hv_hardware_setup
__init void svm_hv_hardware_setup(void)
static inline __init void svm_hv_hardware_setup(void)