hdmi4_remove 789 drivers/gpu/drm/omapdrm/dss/hdmi4.c static int hdmi4_remove(struct platform_device *pdev) hdmi4_remove 762 drivers/video/fbdev/omap2/omapfb/dss/hdmi4.c static int hdmi4_remove(struct platform_device *pdev)