hdmi4_uninit_platform_driver  226 drivers/video/fbdev/omap2/omapfb/dss/core.c 	hdmi4_uninit_platform_driver,
hdmi4_uninit_platform_driver  459 drivers/video/fbdev/omap2/omapfb/dss/dss.h void hdmi4_uninit_platform_driver(void);