Searched refs:PSTATE_FAULT_BITS_64 (Results 1 – 1 of 1) sorted by relevance
28 #define PSTATE_FAULT_BITS_64 (PSR_MODE_EL1h | PSR_A_BIT | PSR_F_BIT | \ macro73 *vcpu_cpsr(vcpu) = PSTATE_FAULT_BITS_64; in inject_abt64()108 *vcpu_cpsr(vcpu) = PSTATE_FAULT_BITS_64; in inject_undef64()
