579 static void print_entries(pentry_t entries_array[], uint8_t *base, int level,  in print_entries()  argument
589 			(uintptr_t)base + (get_entry_scope(level) * i);  in print_entries()
652 static void dump_ptables(pentry_t *table, uint8_t *base, int level)  in dump_ptables()  argument
658 	if (((uintptr_t)base & BITL(47)) != 0) {  in dump_ptables()
659 		base = (uint8_t *)((uintptr_t)base | (0xFFFFULL << 48));  in dump_ptables()
668 		printk("for %p - %p\n", base,  in dump_ptables()
669 		       base + get_table_scope(level) - 1);  in dump_ptables()
672 	print_entries(table, base, level, info->entries);  in dump_ptables()
691 		dump_ptables(next, base + (j * get_entry_scope(level)),  in dump_ptables()
1517 	if ((incoming->base.user_options & K_USER) == 0) {  in z_x86_swap_update_common_page_table()
1878 	if ((thread->base.user_options & K_USER) == 0) {  in arch_mem_domain_thread_remove()
1882 	if ((thread->base.thread_state & _THREAD_DEAD) == 0) {  in arch_mem_domain_thread_remove()
1925 	bool is_user = (thread->base.user_options & K_USER) != 0;  in arch_mem_domain_thread_add()
2061 		mark_addr_page_reserved(entry->base, entry->length);  in arch_reserved_pages_update()