Searched full:fpen (Results 1 – 3 of 3) sorted by relevance
119 __BITFIELD_FIELD(uint64_t fpen:1,
651 return __guest_hyp_cptr_xen_trap_enabled(vcpu, FPEN);
139 if (!(SYS_FIELD_GET(CPACR_EL1, FPEN, cptr) & BIT(0))) in __activate_cptr_traps_vhe()