hdmi_wait_for_bit_change  282 drivers/gpu/drm/omapdrm/dss/hdmi.h static inline int hdmi_wait_for_bit_change(void __iomem *base_addr,
hdmi_wait_for_bit_change  264 drivers/video/fbdev/omap2/omapfb/dss/hdmi.h static inline int hdmi_wait_for_bit_change(void __iomem *base_addr,