CPACR_FPEN_TRAP_NONE
cpacr |= CPACR_FPEN_TRAP_NONE;
KASSERT((cpacr & CPACR_FPEN_MASK) == CPACR_FPEN_TRAP_NONE);
if ((cpacr & CPACR_FPEN_MASK) == CPACR_FPEN_TRAP_NONE)
cpacr |= CPACR_FPEN_TRAP_NONE | CPACR_ZEN_TRAP_NONE;
KASSERT((cpacr & CPACR_FPEN_MASK) == CPACR_FPEN_TRAP_NONE);