Searched refs:vcpu_el1_is_32bit (Results 1 – 5 of 5) sorted by relevance
120 if (vcpu_el1_is_32bit(vcpu)) in kvm_inject_dabt()136 if (vcpu_el1_is_32bit(vcpu)) in kvm_inject_pabt()150 if (vcpu_el1_is_32bit(vcpu)) in kvm_inject_undefined()
189 if (!vcpu_el1_is_32bit(vcpu)) in set_core_reg()195 if (vcpu_el1_is_32bit(vcpu)) in set_core_reg()
40 static inline bool vcpu_el1_is_32bit(struct kvm_vcpu *vcpu) in vcpu_el1_is_32bit() function67 if (!vcpu_el1_is_32bit(vcpu)) in vcpu_reset_hcr()71 vcpu_el1_is_32bit(vcpu)) in vcpu_reset_hcr()
195 if (!vcpu_el1_is_32bit(vcpu)) in __sysreg32_save_state()217 if (!vcpu_el1_is_32bit(vcpu)) in __sysreg32_restore_state()
41 if (!vcpu_el1_is_32bit(vcpu)) in __fpsimd_save_fpexc32()58 if (vcpu_el1_is_32bit(vcpu) && system_supports_fpsimd()) { in __activate_traps_fpsimd32()
