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