Lines Matching refs:cpacr
16 /* FPEN bits in the cpacr register
23 static inline bool is_fpu_enabled(uint32_t cpacr) {
24 return !!(BITS(cpacr, 21, 20) != 0);
93 uint64_t cpacr = ARM64_READ_SYSREG(cpacr_el1);
94 if (is_fpu_enabled((uint32_t)cpacr)) {
101 ARM64_WRITE_SYSREG(cpacr_el1, cpacr & ~FPU_ENABLE_MASK);
112 uint64_t cpacr = ARM64_READ_SYSREG(cpacr_el1);
113 DEBUG_ASSERT(!is_fpu_enabled((uint32_t)cpacr));
116 cpacr |= FPU_ENABLE_MASK;
117 ARM64_WRITE_SYSREG(cpacr_el1, cpacr);