auxctl
uint32_t auxctl;
auxctl = armreg_auxctl_read();
auxctl |= XSCALE_AUXCTL_K;
auxctl &= ~XSCALE_AUXCTL_K;
armreg_auxctl_write(auxctl);
uint32_t auxctl;
auxctl = armreg_auxctl_read();
auxctl &= ~XSCALE_AUXCTL_P;
armreg_auxctl_write(auxctl);
uint32_t auxctl;
auxctl = armreg_auxctl_read();
auxctl = (auxctl & ~XSCALE_AUXCTL_MD_MASK) | XSCALE_AUXCTL_MD_WB_RWA;
armreg_auxctl_write(auxctl);
ARMREG_READ_INLINE(auxctl, "p15,0,%0,c1,c0,1") /* Auxiliary Control Register */
ARMREG_WRITE_INLINE(auxctl, "p15,0,%0,c1,c0,1") /* Auxiliary Control Register */
duart->auxctl = 0x00; /* baud rate set 1 */