Searched refs:z_x86_thread_page_tables_get (Results 1 – 3 of 3) sorted by relevance
209 static inline pentry_t *z_x86_thread_page_tables_get(struct k_thread *thread) in z_x86_thread_page_tables_get() function
234 z_x86_dump_page_tables(z_x86_thread_page_tables_get(cur)); in z_impl_dump_my_ptables()
424 ptables_phys = k_mem_phys_addr(z_x86_thread_page_tables_get(arch_current_thread())); in z_x86_tlb_ipi()1443 pentry_t *ptables = z_x86_thread_page_tables_get(arch_current_thread()); in arch_buffer_validate()2001 set_stack_perms(arch_current_thread(), z_x86_thread_page_tables_get(arch_current_thread())); in z_x86_current_stack_perms()