Searched refs:vcpu_el1_is_32bit (Results 1 – 9 of 9) sorted by relevance
204 if (vcpu_el1_is_32bit(vcpu)) in __kvm_inject_sea()249 if (vcpu_el1_is_32bit(vcpu) && in kvm_inject_size_fault()267 if (vcpu_el1_is_32bit(vcpu)) in kvm_inject_undefined()
80 if (vcpu_el1_is_32bit(vcpu)) { in kvm_pending_external_abort()
213 if (vcpu_el1_is_32bit(vcpu)) in kvm_reset_vcpu()
255 if (!vcpu_el1_is_32bit(vcpu)) in set_core_reg()266 if (vcpu_el1_is_32bit(vcpu)) in set_core_reg()
5282 if (vcpu_el1_is_32bit(vcpu)) in vcpu_set_hcr()
345 if (!vcpu_el1_is_32bit(vcpu)) in __sysreg32_save_state()362 if (!vcpu_el1_is_32bit(vcpu)) in __sysreg32_restore_state()
45 if (!vcpu_el1_is_32bit(vcpu)) in __fpsimd_save_fpexc32()62 if (vcpu_el1_is_32bit(vcpu) && system_supports_fpsimd()) { in __activate_traps_fpsimd32()
91 static __always_inline bool vcpu_el1_is_32bit(struct kvm_vcpu *vcpu) in vcpu_el1_is_32bit() function96 static __always_inline bool vcpu_el1_is_32bit(struct kvm_vcpu *vcpu) in vcpu_el1_is_32bit() function
323 if (vcpu_el1_is_32bit(vcpu)) { in kvm_inject_exception()
Completed in 28 milliseconds