Searched refs:u_mode_pmp_update_nr (Results 1 – 2 of 2) sorted by relevance
80 unsigned int u_mode_pmp_update_nr; member
596 thread->arch.u_mode_pmp_update_nr = 0; in z_riscv_pmp_usermode_prepare()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()736 thread->arch.u_mode_pmp_update_nr = 0; in arch_mem_domain_thread_add()
