Searched refs:page_table_base (Results 1 – 1 of 1) sorted by relevance
151 uint64_t page_table_base; member199 volatile uint64_t *table_base = (uint64_t *)ctx->page_table_base; in create_map_entries()239 table_base = (uint64_t *)ctx->page_table_base; in create_map_entries()347 ctx.page_table_base = allocate_page(&ctx); in pal_hib_resume_tramp()348 gHibTramp.ttbr1 = ctx.page_table_base; in pal_hib_resume_tramp()400 ctx.page_table_base = allocate_page(&ctx); in pal_hib_resume_tramp()401 gHibTramp.ttbr0 = ctx.page_table_base; in pal_hib_resume_tramp()