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;