Searched refs:table_base (Results 1 – 1 of 1) sorted by relevance
199 volatile uint64_t *table_base = (uint64_t *)ctx->page_table_base; in create_map_entries() local224 HIB_ASSERT(PTE_EMPTY(table_base[index + i])); in create_map_entries()225 table_base[index + i] = entry | paddr; in create_map_entries()231 HIB_ASSERT(PTE_EMPTY(table_base[index + i])); in create_map_entries()239 table_base = (uint64_t *)ctx->page_table_base; in create_map_entries()246 uint64_t entry = table_base[index]; in create_map_entries()252 table_base[index] = sub_base | ARM_LPAE_NSTABLE | ARM_TTE_TYPE_TABLE | ARM_TTE_VALID; in create_map_entries()256 table_base = (uint64_t *)sub_base; in create_map_entries()