top_level_pgt      67 arch/x86/boot/compressed/kaslr_64.c static unsigned long top_level_pgt;
top_level_pgt     110 arch/x86/boot/compressed/kaslr_64.c 	top_level_pgt = read_cr3_pa();
top_level_pgt     111 arch/x86/boot/compressed/kaslr_64.c 	if (p4d_offset((pgd_t *)top_level_pgt, 0) == (p4d_t *)_pgtable) {
top_level_pgt     121 arch/x86/boot/compressed/kaslr_64.c 		top_level_pgt = (unsigned long)alloc_pgt_page(&pgt_data);
top_level_pgt     141 arch/x86/boot/compressed/kaslr_64.c 	kernel_ident_mapping_init(&mapping_info, (pgd_t *)top_level_pgt,
top_level_pgt     152 arch/x86/boot/compressed/kaslr_64.c 	write_cr3(top_level_pgt);