Searched refs:FPEXC32_EL2 (Results 1 – 3 of 3) sorted by relevance
62 __vcpu_sys_reg(vcpu, FPEXC32_EL2) = read_sysreg(fpexc32_el2); in __fpsimd_save_fpexc32()285 write_sysreg(__vcpu_sys_reg(vcpu, FPEXC32_EL2), fpexc32_el2); in __hyp_handle_fpsimd()
214 FPEXC32_EL2, /* Floating-Point Exception Control Register */ enumerator
1734 { SYS_DESC(SYS_FPEXC32_EL2), NULL, reset_val, FPEXC32_EL2, 0x700 },