thread_page_tables_get (reference) in projects: arch

Searched refs:thread_page_tables_get (Results 1 – 1 of 1) sorted by relevance

/arch/xtensa/core/
A D	ptables.c	`724 static inline uint32_t thread_page_tables_get(const struct k_thread thread) in thread_page_tables_get() function 937 update_region(thread_page_tables_get(thread), in xtensa_user_stack_perms() 987 update_region(thread_page_tables_get(thread), in arch_mem_domain_thread_add() 1098 uint32_t *ptables = thread_page_tables_get(thread); in mem_buffer_validate()`

Completed in 6 milliseconds