Searched refs:vcpu_el1_is_32bit (Results 1 – 7 of 7) sorted by relevance
168 if (vcpu_el1_is_32bit(vcpu)) in kvm_inject_dabt()184 if (vcpu_el1_is_32bit(vcpu)) in kvm_inject_pabt()209 if (vcpu_el1_is_32bit(vcpu) && in kvm_inject_size_fault()227 if (vcpu_el1_is_32bit(vcpu)) in kvm_inject_undefined()
251 if (vcpu_el1_is_32bit(vcpu)) in kvm_reset_vcpu()
254 if (!vcpu_el1_is_32bit(vcpu)) in set_core_reg()265 if (vcpu_el1_is_32bit(vcpu)) in set_core_reg()
58 static __always_inline bool vcpu_el1_is_32bit(struct kvm_vcpu *vcpu) in vcpu_el1_is_32bit() function63 static __always_inline bool vcpu_el1_is_32bit(struct kvm_vcpu *vcpu) in vcpu_el1_is_32bit() function99 if (vcpu_el1_is_32bit(vcpu)) in vcpu_reset_hcr()
214 if (!vcpu_el1_is_32bit(vcpu)) in __sysreg32_save_state()231 if (!vcpu_el1_is_32bit(vcpu)) in __sysreg32_restore_state()
50 if (!vcpu_el1_is_32bit(vcpu)) in __fpsimd_save_fpexc32()67 if (vcpu_el1_is_32bit(vcpu) && system_supports_fpsimd()) { in __activate_traps_fpsimd32()
321 if (vcpu_el1_is_32bit(vcpu)) { in kvm_inject_exception()