Searched refs:pmp_update_nr (Results 1 – 2 of 2) sorted by relevance
637 thread->arch.u_mode_pmp_update_nr = domain->arch.pmp_update_nr; in resync_pmp_domain()658 if (thread->arch.u_mode_pmp_update_nr != domain->arch.pmp_update_nr) { in z_riscv_pmp_usermode_enable()713 domain->arch.pmp_update_nr = 0; in arch_mem_domain_init()721 domain->arch.pmp_update_nr += 1; in arch_mem_domain_partition_add()729 domain->arch.pmp_update_nr += 1; in arch_mem_domain_partition_remove()
225 unsigned int pmp_update_nr; member
