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