Searched refs:TTBCR_EAE (Results 1 – 1 of 1) sorted by relevance
72 #define TTBCR_EAE BIT(31) macro90 if (vcpu_read_sys_reg(vcpu, TCR_EL1) & TTBCR_EAE) { in inject_abt32()
Completed in 5 milliseconds