Searched refs:PAGE_KERNEL_PGT (Results 1 – 3 of 3) sorted by relevance
116 #define PAGE_KERNEL_PGT (PAGE_R_W | PAGE_PRESENT) 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()