Searched refs:table_base (Results 1 – 1 of 1) sorted by relevance
204 volatile uint64_t *table_base = (uint64_t *)ctx->page_table_base; in create_map_entries() local229 HIB_ASSERT(PTE_EMPTY(table_base[index + i])); in create_map_entries()230 table_base[index + i] = entry | paddr; in create_map_entries()236 HIB_ASSERT(PTE_EMPTY(table_base[index + i])); in create_map_entries()244 table_base = (uint64_t *)ctx->page_table_base; in create_map_entries()251 uint64_t entry = table_base[index]; in create_map_entries()257 table_base[index] = sub_base | ARM_LPAE_NSTABLE | ARM_TTE_TYPE_TABLE | ARM_TTE_VALID; in create_map_entries()261 table_base = (uint64_t *)sub_base; in create_map_entries()