Searched refs:GET_TTBR1 (Results 1 – 2 of 2) sorted by relevance
581 GET_TTBR0(base, ctx), GET_TTBR1(base, ctx)); in print_ctx_regs()
154 #define GET_TTBR1(b, c) GET_CTX_REG(TTBR1, (b), (c)) macro