DISPC_IRQENABLE
DUMPREG(dispc, DISPC_IRQENABLE);
u32 old_mask = dispc_read_reg(dispc, DISPC_IRQENABLE);
dispc_write_reg(dispc, DISPC_IRQENABLE, mask);
dispc_read_reg(dispc, DISPC_IRQENABLE);
DUMPREG(DISPC_IRQENABLE);
return dispc_read_reg(DISPC_IRQENABLE);
u32 old_mask = dispc_read_reg(DISPC_IRQENABLE);
dispc_write_reg(DISPC_IRQENABLE, mask);