Searched refs:FPEXC32_EL2 (Results 1 – 4 of 4) sorted by relevance
52 vcpu->arch.ctxt.sys_regs[FPEXC32_EL2] = read_sysreg(fpexc32_el2); in __fpsimd_save_fpexc32()371 write_sysreg(vcpu->arch.ctxt.sys_regs[FPEXC32_EL2], in __hyp_switch_fpsimd()
143 DEFINE(VCPU_FPEXC32_EL2, offsetof(struct kvm_vcpu, arch.ctxt.sys_regs[FPEXC32_EL2])); in main()
150 FPEXC32_EL2, /* Floating-Point Exception Control Register */ enumerator
1459 { SYS_DESC(SYS_FPEXC32_EL2), NULL, reset_val, FPEXC32_EL2, 0x70 },