Searched refs:FPEXC_EX_BIT (Results 1 - 2 of 2) sorted by relevance

/seL4-test-master/kernel/src/arch/arm/32/machine/
H A Dfpu.c31 fpexc |= BIT(FPEXC_EX_BIT);
37 return !!(fpexc & BIT(FPEXC_EX_BIT));
/seL4-test-master/kernel/include/arch/arm/arch/32/mode/machine/
H A Dfpu.h27 #define FPEXC_EX_BIT 31 macro
117 assert((dest->fpexc & BIT(FPEXC_EX_BIT)) == 0);

Completed in 90 milliseconds