hdmi4_init_platform_driver 214 drivers/video/fbdev/omap2/omapfb/dss/core.c hdmi4_init_platform_driver, hdmi4_init_platform_driver 458 drivers/video/fbdev/omap2/omapfb/dss/dss.h int hdmi4_init_platform_driver(void) __init;