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

/seL4-l4v-10.1.1/seL4/src/arch/arm/32/machine/
H A Dfpu.c95 word_t cpacr, fpsid; local
110 asm volatile (".word 0xeef00a10 \n" /* vmrs r0, fpsid */
112 : "=r" (fpsid) :
114 if (fpsid & BIT(FPSID_SW_BIT)) {
131 fpsid_subarch = (fpsid >> FPSID_SUBARCH_SHIFT_POS) & 0x7f;

Completed in 24 milliseconds