Searched refs:armHSFPUEnabled (Results 1 - 4 of 4) sorted by relevance

/seL4-mcs-10.1.1/include/arch/arm/arch/32/mode/machine/
H A Dfpu.h65 if (!armHSFPUEnabled) {
67 armHSFPUEnabled = true;
75 if (armHSFPUEnabled) {
77 armHSFPUEnabled = false;
/seL4-mcs-10.1.1/include/arch/arm/arch/32/mode/model/
H A Dstatedata.h46 extern bool_t armHSFPUEnabled;
/seL4-mcs-10.1.1/src/arch/arm/32/model/
H A Dstatedata.c65 bool_t armHSFPUEnabled; variable
/seL4-mcs-10.1.1/src/arch/arm/object/
H A Dvcpu.c84 * the enableFpuHyp modifies the armHSFPUEnabled
86 bool_t flag = armHSFPUEnabled;

Completed in 64 milliseconds