Searched refs:boot_vmalloc_pgt (Results 1 – 3 of 3) sorted by relevance
38 pgd_t boot_vmalloc_pgt[512] ALIGN_TO_4K; variable
135 mk_kernel_pml4(__pa_symbol(boot_vmalloc_pgt), KERNPG_TABLE)); in pda_init()
27 extern pgd_t boot_vmalloc_pgt[];