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