Searched refs:mvfr0 (Results 1 - 1 of 1) sorted by relevance
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/machine/ | ||
H A D | fpu.c | 56 word_t mvfr0; local 57 asm volatile (".word 0xeef73a10 \n" /* vmrs r3, mvfr0 */ 59 : "=r" (mvfr0) 62 return ((mvfr0 & 0xf) == 2); |
Completed in 22 milliseconds