Searched refs:vcpu_el1_is_32bit (Results 1 – 6 of 6) sorted by relevance
126 if (vcpu_el1_is_32bit(vcpu)) in kvm_inject_dabt()142 if (vcpu_el1_is_32bit(vcpu)) in kvm_inject_pabt()157 if (vcpu_el1_is_32bit(vcpu)) in kvm_inject_undefined()
253 if (!vcpu_el1_is_32bit(vcpu)) in set_core_reg()259 if (vcpu_el1_is_32bit(vcpu)) in set_core_reg()
44 static __always_inline bool vcpu_el1_is_32bit(struct kvm_vcpu *vcpu) in vcpu_el1_is_32bit() function81 if (!vcpu_el1_is_32bit(vcpu)) in vcpu_reset_hcr()85 vcpu_el1_is_32bit(vcpu)) in vcpu_reset_hcr()
187 if (!vcpu_el1_is_32bit(vcpu)) in __sysreg32_save_state()204 if (!vcpu_el1_is_32bit(vcpu)) in __sysreg32_restore_state()
62 if (!vcpu_el1_is_32bit(vcpu)) in __fpsimd_save_fpexc32()79 if (vcpu_el1_is_32bit(vcpu) && system_supports_fpsimd()) { in __activate_traps_fpsimd32()
302 if (vcpu_el1_is_32bit(vcpu)) { in kvm_inject_exception()
Completed in 13 milliseconds