Searched refs:KERNPG_TABLE (Results 1 – 3 of 3) sorted by relevance
135 mk_kernel_pml4(__pa_symbol(boot_vmalloc_pgt), KERNPG_TABLE)); in pda_init()
304 mk_kernel_pml4(pgd_phys, KERNPG_TABLE)); in init_memory_mapping()
227 #define KERNPG_TABLE __pgprot(_KERNPG_TABLE) macro