void zap_low_mappings(void) 
void __cpuinit zap_low_mappings(int cpu) 
void zap_low_mappings(void){	pgd_t *pgd = pgd_offset_k(0UL);	pgd_clear(pgd);	flush_tlb_all();}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/f6c2e3330d3fdd5474bc3756da46fca889a30e33/init.c/buggy/arch/x86_64/mm/init.c