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);