hdmi5_uninit_platform_driver  223 drivers/video/fbdev/omap2/omapfb/dss/core.c 	hdmi5_uninit_platform_driver,
hdmi5_uninit_platform_driver  462 drivers/video/fbdev/omap2/omapfb/dss/dss.h void hdmi5_uninit_platform_driver(void);