ccsr_write4
ccsr_write4(ccsrbar_va + base + GUTS_DEVDISR2,
ccsr_write4(ccsrbar_va + base + GUTS_DEVDISR2,
ccsr_write4(ccsrbar_va + base + GUTS_DEVDISR2, devdisr2);
ccsr_write4(GUTS_PMJCR, reg);
ccsr_write4(GUTS_POWMGTCSR, reg);
ccsr_write4(GUTS_POWMGTCSR, reg & ~POWMGTCSR_INT_MASK);
ccsr_write4(OCP85XX_CLKDVDR, clkdvd);
ccsr_write4(OCP85XX_CLKDVDR, clkdvd | pxclk_set);
ccsr_write4(OCP85XX_LAWBARH(n), bar >> 32);
ccsr_write4(OCP85XX_LAWBARL(n), bar);
ccsr_write4(OCP85XX_LAWSR_QORIQ(n), sr);
ccsr_write4(OCP85XX_LAWBAR(n), bar >> 12);
ccsr_write4(OCP85XX_LAWSR_85XX(n), sr);
ccsr_write4(OCP85XX_CPC_CSR0, OCP85XX_CPC_CSR0_FI |
ccsr_write4(OCP85XX_CPC_CSR0, OCP85XX_CPC_CSR0_CE |
void ccsr_write4(uintptr_t addr, uint32_t val);
ccsr_write4(OCP85XX_BSTRH, bptr >> 32);
ccsr_write4(OCP85XX_BSTRL, bptr);
ccsr_write4(OCP85XX_BSTAR, OCP85XX_ENA_MASK |
ccsr_write4(CCSR_CTBCKSELR, reg & ~(1 << pc->pc_cpuid));
ccsr_write4(CCSR_CTBENR, reg | (1 << pc->pc_cpuid));
ccsr_write4(OCP85XX_BPTR, bptr);
ccsr_write4(brr, reg | (1 << cpuid));
ccsr_write4(OCP85XX_BSTAR, 0);
ccsr_write4(OCP85XX_BPTR, 0);
ccsr_write4(OCP85XX_RSTCR, 2);