Searched refs:page_table_base (Results 1 – 1 of 1) sorted by relevance
156 uint64_t page_table_base; member204 volatile uint64_t *table_base = (uint64_t *)ctx->page_table_base; in create_map_entries()244 table_base = (uint64_t *)ctx->page_table_base; in create_map_entries()352 ctx.page_table_base = allocate_page(&ctx); in pal_hib_resume_tramp()353 gHibTramp.ttbr1 = ctx.page_table_base; in pal_hib_resume_tramp()405 ctx.page_table_base = allocate_page(&ctx); in pal_hib_resume_tramp()406 gHibTramp.ttbr0 = ctx.page_table_base; in pal_hib_resume_tramp()