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