1027 	struct arm_mmu_ptables *domain_ptables;  in sync_domains()  local
1034 		domain_ptables = &domain->ptables;  in sync_domains()
1035 		ret = globalize_page_range(domain_ptables, &kernel_ptables,  in sync_domains()
1206 	struct arm_mmu_ptables *domain_ptables = &domain->arch.ptables;  in arch_mem_domain_init()  local
1224 	domain_ptables->base_xlat_table =  in arch_mem_domain_init()
1227 	if (!domain_ptables->base_xlat_table) {  in arch_mem_domain_init()
1231 	domain_ptables->ttbr0 =	(((uint64_t)asid) << TTBR_ASID_SHIFT) |  in arch_mem_domain_init()
1232 		((uint64_t)(uintptr_t)domain_ptables->base_xlat_table);  in arch_mem_domain_init()
1268 	struct arm_mmu_ptables *domain_ptables = &domain->arch.ptables;  in arch_mem_domain_partition_add()  local
1271 	return private_map(domain_ptables, "partition", ptn->start, ptn->start,  in arch_mem_domain_partition_add()
1278 	struct arm_mmu_ptables *domain_ptables = &domain->arch.ptables;  in arch_mem_domain_partition_remove()  local
1281 	return reset_map(domain_ptables, "partition removal",  in arch_mem_domain_partition_remove()
1295 	struct arm_mmu_ptables *old_ptables, *domain_ptables;  in arch_mem_domain_thread_add()  local
1301 	domain_ptables = &domain->arch.ptables;  in arch_mem_domain_thread_add()
1308 		ret = map_thread_stack(thread, domain_ptables);  in arch_mem_domain_thread_add()
1311 	thread->arch.ptables = domain_ptables;  in arch_mem_domain_thread_add()
1331 	struct arm_mmu_ptables *domain_ptables;  in arch_mem_domain_thread_remove()  local
1335 	domain_ptables = &domain->arch.ptables;  in arch_mem_domain_thread_remove()
1345 	return reset_map(domain_ptables, __func__, thread->stack_info.start,  in arch_mem_domain_thread_remove()