u64 *level4p; level4p = (u64 *)__va(start_pgtable); 
pgd_t *level4p; level4p = (pgd_t *)__va(start_pgtable); 
static int init_pgtable(struct kimage *image, unsigned long start_pgtable){	u64 *level4p;	level4p = (u64 *)__va(start_pgtable); 	return init_level4_page(image, level4p, 0, end_pfn << PAGE_SHIFT);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/8bf2755664bfe03a414e7ec02d9f16a3d5beb60d/machine_kexec.c/clean/arch/x86_64/kernel/machine_kexec.c