Searched refs:set_pml4t (Results 1 – 3 of 3) sorted by relevance
287 #define set_pml4t(pml4tptr, pml4tval) (*(pml4tptr) = (pml4tval)) macro
107 … set_pml4t(pml4e_ptr, mk_pml4t(virt_2_phys(virt_addr), (user ? PAGE_USER_PGT : PAGE_KERNEL_PGT))); in mm_map_proc_page_table()
513 set_pml4t(tmp, mk_pml4t(virt_2_phys(pdpt), PAGE_KERNEL_PGT)); in page_table_init()