cpu_read_4
while (cpu_read_4(OPENPIC_BASE + OPENPIC_GCR) & GCR_RST)
cpu_read_4(OPENPIC_BASE + OPENPIC_CTPR));
printf(" pordevsr=%#x", cpu_read_4(GLOBAL_BASE + PORDEVSR));
printf(" devdisr=%#x", cpu_read_4(GLOBAL_BASE + DEVDISR));
uint32_t v = cpu_read_4(GLOBAL_BASE + PORPLLSR);
const uint32_t l2ctl = cpu_read_4(L2CACHE_BASE + L2CTL);
paddr_t boot_page = cpu_read_4(GUR_BPTR);
((uint64_t)le32toh(cpu_read_4(ETSEC1_BASE + MACSTNADDR1)) << 16)
| ((uint64_t)le32toh(cpu_read_4(ETSEC1_BASE + MACSTNADDR2)) << 48);
paddr_t boot_page = cpu_read_4(GUR_BPTR);
uint32_t v = cpu_read_4(DDRC1_BASE + CS_CONFIG(i));
v = cpu_read_4(DDRC1_BASE + CS_BNDS(i));
const uint32_t porpplsr = cpu_read_4(GLOBAL_BASE + PORPLLSR);
const uint32_t pmuxcr = cpu_read_4(GLOBAL_BASE + PMUXCR);
const uint32_t pmuxcr = cpu_read_4(GLOBAL_BASE + PMUXCR);
const uint32_t pmuxcr = cpu_read_4(GLOBAL_BASE + PMUXCR);
const uint32_t pmuxcr2 = cpu_read_4(GLOBAL_BASE + PMUXCR2);
const uint32_t v = cpu_read_4(GLOBAL_BASE + DEVDISR);
paddr_t boot_page = cpu_read_4(GUR_BPTR);
uint32_t group = cpu_read_4(msig->msig_msir);
const uint32_t pordevsr = cpu_read_4(GLOBAL_BASE + PORDEVSR);
uint32_t cpu_read_4(bus_size_t);