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