Searched refs:thread_page_tables_get (Results 1 – 1 of 1) sorted by relevance
160 static inline uint32_t *thread_page_tables_get(const struct k_thread *thread) in thread_page_tables_get() function931 update_region(thread_page_tables_get(thread), in xtensa_user_stack_perms()981 update_region(thread_page_tables_get(thread), in arch_mem_domain_thread_add()1090 uint32_t *ptables = thread_page_tables_get(thread); in mem_buffer_validate()
