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

/seL4-l4v-10.1.1/seL4/src/arch/arm/32/machine/
H A Dfpu.c52 bool_t isFPUD32SupportedCached; variable
84 isFPUD32SupportedCached = isFPUD32Supported();
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/32/mode/machine/
H A Dfpu.h90 extern bool_t isFPUD32SupportedCached;
128 if (isFPUD32SupportedCached) {
195 if (isFPUD32SupportedCached) {

Completed in 78 milliseconds