Searched refs:table_base (Results 1 – 1 of 1) sorted by relevance
205 volatile uint64_t *table_base = (uint64_t *)ctx->page_table_base; in create_map_entries() local230 HIB_ASSERT(PTE_EMPTY(table_base[index + i])); in create_map_entries()231 table_base[index + i] = entry | paddr; in create_map_entries()237 HIB_ASSERT(PTE_EMPTY(table_base[index + i])); in create_map_entries()245 table_base = (uint64_t *)ctx->page_table_base; in create_map_entries()252 uint64_t entry = table_base[index]; in create_map_entries()258 table_base[index] = sub_base | ARM_LPAE_NSTABLE | ARM_TTE_TYPE_TABLE | ARM_TTE_VALID; in create_map_entries()262 table_base = (uint64_t *)sub_base; in create_map_entries()