Searched refs:c2_TTBR1_high (Results 1 – 2 of 2) sorted by relevance
31 #define c2_TTBR1_high 9 /* TTBR1 top 32 bits */ macro
67 #define c2_TTBR1_high (c2_TTBR1 + 1) /* TTBR1 top 32 bits */ macro