Searched refs:page_table_base (Results 1 – 1 of 1) sorted by relevance
157 uint64_t page_table_base; member205 volatile uint64_t *table_base = (uint64_t *)ctx->page_table_base; in create_map_entries()245 table_base = (uint64_t *)ctx->page_table_base; in create_map_entries()353 ctx.page_table_base = allocate_page(&ctx); in pal_hib_resume_tramp()354 gHibTramp.ttbr1 = ctx.page_table_base; in pal_hib_resume_tramp()406 ctx.page_table_base = allocate_page(&ctx); in pal_hib_resume_tramp()407 gHibTramp.ttbr0 = ctx.page_table_base; in pal_hib_resume_tramp()