tvout_dbg_vip     512 drivers/gpu/drm/sti/sti_tvout.c 		tvout_dbg_vip(s, readl(tvout->regs + TVO_VIP_HDMI));
tvout_dbg_vip     525 drivers/gpu/drm/sti/sti_tvout.c 		tvout_dbg_vip(s, readl(tvout->regs + TVO_VIP_DVO));
tvout_dbg_vip     540 drivers/gpu/drm/sti/sti_tvout.c 		tvout_dbg_vip(s, readl(tvout->regs + TVO_VIP_HDF));