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