Searched refs:fpexc32_el2 (Results 1 – 2 of 2) sorted by relevance
32 v->arch.vfp.fpexc32_el2 = READ_SYSREG32(FPEXC32_EL2); in vfp_save_state()61 WRITE_SYSREG32(v->arch.vfp.fpexc32_el2, FPEXC32_EL2); in vfp_restore_state()
11 uint32_t fpexc32_el2; member
Completed in 2 milliseconds