DISPC_IRQENABLE_SET
dispc_write(dispc, DISPC_IRQENABLE_SET, (1 << 0) | (1 << 7));
dispc_write(dispc, DISPC_IRQENABLE_SET, main_enable);
dispc_read(dispc, DISPC_IRQENABLE_SET);
#define DISPC_IRQENABLE_SET REG(DISPC_IRQENABLE_SET)