Searched refs:is_aarch32 (Results 1 – 1 of 1) sorted by relevance
60 bool is_aarch32 = vcpu_mode_is_32bit(vcpu); in inject_abt64() local76 if (is_aarch32 || (cpsr & PSR_MODE_MASK) == PSR_MODE_EL0t) in inject_abt64()