dispc_write
dispc_write(dispc, DISPC_CONNECTIONS,
dispc_write(_dispc, _idx, _reg); \
dispc_write(dispc, DISPC_IRQSTATUS,
dispc_write(dispc, DISPC_IRQENABLE_SET, (1 << 0) | (1 << 7));
dispc_write(dispc, DISPC_VP_IRQSTATUS(hw_videoport), stat);
dispc_write(dispc, DISPC_VID_IRQSTATUS(hw_id), stat);
dispc_write(dispc, DISPC_VP_IRQENABLE(hw_videoport), stat);
dispc_write(dispc, DISPC_VID_IRQENABLE(hw_id), stat);
dispc_write(dispc, DISPC_IRQSTATUS, dispc_read(dispc, DISPC_IRQSTATUS));
dispc_write(dispc, DISPC_IRQENABLE_SET, main_enable);
dispc_write(dispc, DISPC_IRQENABLE_CLR, main_disable);