hdmi_write_reg    265 drivers/gpu/drm/omapdrm/dss/hdmi.h static inline void hdmi_write_reg(void __iomem *base_addr, const u32 idx,
hdmi_write_reg    247 drivers/video/fbdev/omap2/omapfb/dss/hdmi.h static inline void hdmi_write_reg(void __iomem *base_addr, const u32 idx,