Searched refs:copy_page_table (Results 1 – 1 of 1) sorted by relevance
1688 static int copy_page_table(pentry_t *dst, pentry_t *src, int level) in copy_page_table() function1732 ret = copy_page_table(child_dst, in copy_page_table()1854 ret = copy_page_table(domain->arch.ptables, z_x86_kernel_ptables, 0); in arch_mem_domain_init()
