level4_kernel_pgt 19 arch/x86/include/asm/pgtable_64.h extern p4d_t level4_kernel_pgt[512]; level4_kernel_pgt 155 arch/x86/kernel/head64.c *p = (unsigned long)level4_kernel_pgt; level4_kernel_pgt 161 arch/x86/kernel/head64.c p4d = fixup_pointer(&level4_kernel_pgt, physaddr);