WRITE_SPECIALREG
WRITE_SPECIALREG(ttbr0_el1, pmap_kernel()->pm_pt0pa);
WRITE_SPECIALREG(tcr_el1, tcr);
WRITE_SPECIALREG(sctlr_el1, sctlr);
WRITE_SPECIALREG(sctlr_el1, sctlr);
WRITE_SPECIALREG(sctlr_el1, sctlr);
WRITE_SPECIALREG(cpacr_el1, cpacr);
WRITE_SPECIALREG(zcr_el1, 0);
WRITE_SPECIALREG(cpacr_el1, cpacr);
WRITE_SPECIALREG(mdscr_el1, DBG_MDSCR_TDCC);
WRITE_SPECIALREG(oslar_el1, 0);
WRITE_SPECIALREG(cntv_ctl_el0,
WRITE_SPECIALREG(cntv_ctl_el0,
WRITE_SPECIALREG(cntv_ctl_el0,
WRITE_SPECIALREG(cntv_ctl_el0,
WRITE_SPECIALREG(csselr_el1,
WRITE_SPECIALREG(csselr_el1, i << CSSELR_LEVEL_SHIFT);
WRITE_SPECIALREG(csselr_el1, i << CSSELR_LEVEL_SHIFT);
WRITE_SPECIALREG(mdscr_el1, mdscr);
WRITE_SPECIALREG(cpacr_el1, cpacr);
WRITE_SPECIALREG(fpsr, fp->fp_sr);
WRITE_SPECIALREG(fpcr, fp->fp_cr);
WRITE_SPECIALREG(cpacr_el1, cpacr);
WRITE_SPECIALREG(cpacr_el1, cpacr);
WRITE_SPECIALREG(cpacr_el1, cpacr);
WRITE_SPECIALREG(cpacr_el1, cpacr);
WRITE_SPECIALREG(fpsr, fp->fp_sr);
WRITE_SPECIALREG(fpcr, fp->fp_cr);
WRITE_SPECIALREG(ttbr0_el1, pmap_kernel()->pm_pt0pa);
WRITE_SPECIALREG(ttbr0_el1, pmap_kernel()->pm_pt0pa);
WRITE_SPECIALREG(ttbr0_el1, pmap_kernel()->pm_pt0pa);
WRITE_SPECIALREG(tcr_el1, tcr);
WRITE_SPECIALREG(ttbr0_el1, pmap_kernel()->pm_pt0pa);
WRITE_SPECIALREG(CNTKCTL_EL1, CNTKCTL_EL0VCTEN);
WRITE_SPECIALREG(APL_IRQ_CR_EL1, APL_IRQ_CR_EL1_DISABLE);
WRITE_SPECIALREG(APL_IPI_SR_EL1, APL_IPI_SR_EL1_PENDING);
WRITE_SPECIALREG(cntv_ctl_el0, reg | CNTV_CTL_IMASK);
WRITE_SPECIALREG(cntv_ctl_el0, reg & ~CNTV_CTL_IMASK);
WRITE_SPECIALREG(APL_IPI_LOCAL_RR_EL1, sendmask);
WRITE_SPECIALREG(APL_IPI_GLOBAL_RR_EL1, sendmask);
WRITE_SPECIALREG(ttbr0_el1, pmap_kernel()->pm_pt0pa);
WRITE_SPECIALREG(tcr_el1, tcr);
WRITE_SPECIALREG(ttbr0_el1, pmap_kernel()->pm_pt0pa);
WRITE_SPECIALREG(tcr_el1, tcr);