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);