init_hypervisor_platform
static inline void init_hypervisor_platform(void) { }
void __init init_hypervisor_platform(void)