Searched refs:c2_TTBCR (Results 1 – 3 of 3) sorted by relevance
213 is_lpae = (vcpu_cp15(vcpu, c2_TTBCR) >> 31); in inject_abt32()
1989 { Op1( 0), CRn( 2), CRm( 0), Op2( 2), access_vm_reg, NULL, c2_TTBCR },
216 #define c2_TTBCR (TCR_EL1 * 2) /* Translation Table Base Control R. */ macro
