DISPC_VID_IRQSTATUS
u32 stat = dispc_read(dispc, DISPC_VID_IRQSTATUS(hw_id));
dispc_write(dispc, DISPC_VID_IRQSTATUS(hw_id), stat);
#define DISPC_VID_IRQSTATUS(n) (REG(DISPC_VID_IRQSTATUS) + (n) * 4)