Searched refs:ttbr1 (Results 1 – 4 of 4) sorted by relevance
110 uint64_t ttbr1; member
348 gHibTramp.ttbr1 = ctx.page_table_base; in pal_hib_resume_tramp()
388 DECLARE("HIBTRAMP_TTBR1", offsetof(pal_hib_tramp_result_t, ttbr1)); in main()
111 uint64_t ttbr1; /* kernel ttbr1_el1 register value */ member292 tt_entry_t *ttp = (tt_entry_t *)phystokv(sk_dbg_header->ttbr1 & ARM_TTE_PA_MASK); in sc_cL4_kvtov()