Lines Matching refs:domain
603 struct k_mem_domain *domain) in resync_pmp_domain() argument
611 remaining_partitions = domain->num_partitions; in resync_pmp_domain()
613 struct k_mem_partition *part = &domain->partitions[p_idx]; in resync_pmp_domain()
633 remaining_partitions + 1, domain); in resync_pmp_domain()
637 thread->arch.u_mode_pmp_update_nr = domain->arch.pmp_update_nr; in resync_pmp_domain()
649 struct k_mem_domain *domain = thread->mem_domain_info.mem_domain; in z_riscv_pmp_usermode_enable() local
651 LOG_DBG("pmp_usermode_enable for thread %p with domain %p", thread, domain); in z_riscv_pmp_usermode_enable()
658 if (thread->arch.u_mode_pmp_update_nr != domain->arch.pmp_update_nr) { in z_riscv_pmp_usermode_enable()
663 resync_pmp_domain(thread, domain); in z_riscv_pmp_usermode_enable()
711 int arch_mem_domain_init(struct k_mem_domain *domain) in arch_mem_domain_init() argument
713 domain->arch.pmp_update_nr = 0; in arch_mem_domain_init()
717 int arch_mem_domain_partition_add(struct k_mem_domain *domain, in arch_mem_domain_partition_add() argument
721 domain->arch.pmp_update_nr += 1; in arch_mem_domain_partition_add()
725 int arch_mem_domain_partition_remove(struct k_mem_domain *domain, in arch_mem_domain_partition_remove() argument
729 domain->arch.pmp_update_nr += 1; in arch_mem_domain_partition_remove()
771 struct k_mem_domain *domain = arch_current_thread()->mem_domain_info.mem_domain; in arch_buffer_validate() local
775 remaining_partitions = domain->num_partitions; in arch_buffer_validate()
777 struct k_mem_partition *part = &domain->partitions[p_idx]; in arch_buffer_validate()