GCR_RST
cpu_write_4(OPENPIC_BASE + OPENPIC_GCR, GCR_RST);
while (cpu_read_4(OPENPIC_BASE + OPENPIC_GCR) & GCR_RST)