ccsr_read4
devdisr2 = ccsr_read4(ccsrbar_va + base + GUTS_DEVDISR2);
reg = ccsr_read4(GUTS_PORPLLSR);
reg = ccsr_read4(GUTS_PMJCR);
reg = ccsr_read4(GUTS_POWMGTCSR);
reg = ccsr_read4(GUTS_POWMGTCSR);
reg = ccsr_read4(GUTS_POWMGTCSR);
ccsr_read4(GUTS_POWMGTCSR);
pmjcr = ccsr_read4(GUTS_PORPLLSR);
clkdvd = ccsr_read4(OCP85XX_CLKDVDR);
ccsr_read4(OCP85XX_LAWSR_QORIQ(n));
ccsr_read4(OCP85XX_LAWSR_85XX(n));
*bar = (uint64_t)ccsr_read4(OCP85XX_LAWBARH(n)) << 32 |
ccsr_read4(OCP85XX_LAWBARL(n));
*sr = ccsr_read4(OCP85XX_LAWSR_QORIQ(n));
*bar = (uint64_t)ccsr_read4(OCP85XX_LAWBAR(n)) << 12;
*sr = ccsr_read4(OCP85XX_LAWSR_85XX(n));
while (ccsr_read4(OCP85XX_CPC_CSR0) & (OCP85XX_CPC_CSR0_FI |
ccsr_read4(OCP85XX_CPC_CSR0);
csr = ccsr_read4(OCP85XX_CPC_CSR0);
csr = ccsr_read4(OCP85XX_CPC_CSR0);
size = OCP85XX_CPC_CFG0_SZ_K(ccsr_read4(OCP85XX_CPC_CFG0));
uint32_t ccsr_read4(uintptr_t addr);
reg = ccsr_read4(ccsrbar_va + data->reg);
reg = ccsr_read4(OCP85XX_COREDISR);
reg = ccsr_read4(brr);
reg = ccsr_read4(OCP85XX_DDR1_CS0_CONFIG);
ccsr_read4(OCP85XX_BSTAR);
reg = ccsr_read4(CCSR_CTBCKSELR);
reg = ccsr_read4(CCSR_CTBENR);
reg = ccsr_read4(brr);