dispc_read
while (!(oldi_reset_bit & dispc_read(dispc, DSS_SYSSTATUS)) &&
if (!(oldi_reset_bit & dispc_read(dispc, DSS_SYSSTATUS)))
dispc_read(dispc, DSS_REVISION));
while (!(oldi_reset_bit & dispc_read(tidss->dispc, DSS_SYSSTATUS)) &&
if (!(oldi_reset_bit & dispc_read(tidss->dispc, DSS_SYSSTATUS)))
((u32)FIELD_GET((mask), dispc_read((dispc), (idx))))
u32 _reg = dispc_read(_dispc, _idx); \
dispc_read(dispc, DISPC_IRQSTATUS));
u32 stat = dispc_read(dispc, DISPC_VP_IRQSTATUS(hw_videoport));
u32 stat = dispc_read(dispc, DISPC_VID_IRQSTATUS(hw_id));
u32 stat = dispc_read(dispc, DISPC_VP_IRQENABLE(hw_videoport));
u32 stat = dispc_read(dispc, DISPC_VID_IRQENABLE(hw_id));
dispc_write(dispc, DISPC_IRQSTATUS, dispc_read(dispc, DISPC_IRQSTATUS));
dispc_read(dispc, DISPC_IRQSTATUS);
dispc_read(dispc, DISPC_IRQENABLE_SET);