Searched defs:cpacr (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/64/mode/machine/
H A Dfpu.h112 word_t cpacr; local
121 word_t cpacr; local
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/machine/
H A Dfpu.c69 word_t cpacr; local
95 word_t cpacr, fpsid; local

Completed in 79 milliseconds