arch/arm64/kvm/guest.c

255

if (!vcpu_el1_is_32bit(vcpu))

arch/arm64/kvm/guest.c

266

if (vcpu_el1_is_32bit(vcpu))

arch/arm64/kvm/hyp/exception.c

315

if (vcpu_el1_is_32bit(vcpu)) {

arch/arm64/kvm/hyp/include/hyp/switch.h

45

if (!vcpu_el1_is_32bit(vcpu))

arch/arm64/kvm/hyp/include/hyp/switch.h

62

if (vcpu_el1_is_32bit(vcpu) && system_supports_fpsimd())

arch/arm64/kvm/hyp/include/hyp/sysreg-sr.h

345

if (!vcpu_el1_is_32bit(vcpu))

arch/arm64/kvm/hyp/include/hyp/sysreg-sr.h

362

if (!vcpu_el1_is_32bit(vcpu))

arch/arm64/kvm/inject_fault.c

231

if (vcpu_el1_is_32bit(vcpu))

arch/arm64/kvm/inject_fault.c

310

if (vcpu_el1_is_32bit(vcpu) &&

arch/arm64/kvm/inject_fault.c

328

if (vcpu_el1_is_32bit(vcpu))

arch/arm64/kvm/mmio.c

80

if (vcpu_el1_is_32bit(vcpu)) {

arch/arm64/kvm/reset.c

213

if (vcpu_el1_is_32bit(vcpu))

arch/arm64/kvm/sys_regs.c

5614

if (vcpu_el1_is_32bit(vcpu))