Searched refs:FPEXC32_EL2 (Results 1 – 3 of 3) sorted by relevance
57 vcpu->arch.ctxt.sys_regs[FPEXC32_EL2] = read_sysreg(fpexc32_el2); in __fpsimd_save_fpexc32()408 write_sysreg(vcpu->arch.ctxt.sys_regs[FPEXC32_EL2], in __hyp_handle_fpsimd()
168 FPEXC32_EL2, /* Floating-Point Exception Control Register */ enumerator
1737 { SYS_DESC(SYS_FPEXC32_EL2), NULL, reset_val, FPEXC32_EL2, 0x700 },