vcpu_mode_is_32bit
if (vcpu_mode_is_32bit(vcpu))
if (vcpu_mode_is_32bit(vcpu)) {
if (vcpu_mode_is_32bit(vcpu)) {
if (vcpu_mode_is_32bit(vcpu))
if (likely(!vcpu_mode_is_32bit(vcpu)))
if (vcpu_mode_is_32bit(vcpu)) {
if (unlikely(vcpu_is_protected(vcpu) && vcpu_mode_is_32bit(vcpu))) {
if (vcpu_mode_is_32bit(vcpu))
if (vcpu_mode_is_32bit(vcpu)) {
bool is_aarch32 = vcpu_mode_is_32bit(vcpu);
if (vcpu_mode_is_32bit(vcpu) && pmc->idx != ARMV8_PMU_CYCLE_IDX &&
if ((fn & PSCI_0_2_64BIT) && vcpu_mode_is_32bit(vcpu))
if (vcpu_mode_is_32bit(vcpu) && (target_pc & 1)) {