cpu_write_4
cpu_write_4(OPENPIC_BASE + OPENPIC_CTPR, 15); /* IPL_HIGH */
cpu_write_4(OPENPIC_BASE + OPENPIC_GCR, GCR_RST);
cpu_write_4(OPENPIC_BASE + OPENPIC_CTPR, 15); /* IPL_HIGH */
cpu_write_4(GLOBAL_BASE + RSTCR, HRESET_REQ);
cpu_write_4(cnl->cnl_addr + USB_SNOOP1,
cpu_write_4(cnl->cnl_addr + USB_CONTROL, USB_EN);
void cpu_write_4(bus_size_t, uint32_t);