CPACR_FPEN_MASK
KASSERT((cpacr & CPACR_FPEN_MASK) == CPACR_FPEN_TRAP_ALL1);
cpacr &= ~CPACR_FPEN_MASK;
cpacr &= ~(CPACR_FPEN_MASK | CPACR_ZEN_MASK);
cpacr &= ~(CPACR_FPEN_MASK | CPACR_ZEN_MASK);
cpacr &= ~(CPACR_FPEN_MASK | CPACR_ZEN_MASK);
KASSERT((cpacr & CPACR_FPEN_MASK) == CPACR_FPEN_TRAP_NONE);
if ((cpacr & CPACR_FPEN_MASK) == CPACR_FPEN_TRAP_NONE)
cpacr &= ~(CPACR_FPEN_MASK | CPACR_ZEN_MASK);
if ((cpacr & CPACR_FPEN_MASK) == CPACR_FPEN_TRAP_ALL1)
KASSERT((cpacr & CPACR_FPEN_MASK) == CPACR_FPEN_TRAP_NONE);