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

/seL4-l4v-10.1.1/seL4/src/arch/arm/64/machine/
H A Dfpu.c37 word_t id_aa64pfr0; local
40 MRS("id_aa64pfr0_el1", id_aa64pfr0);
41 if ((id_aa64pfr0 >> ID_AA64PFR0_EL1_FP) & MASK(4) ||
42 (id_aa64pfr0 >> ID_AA64PFR0_EL1_ASIMD) & MASK(4)) {

Completed in 23 milliseconds