pgd_t *pgd = pgd_offset_k(0UL); pgd_clear(pgd); flush_tlb_all(); 
if (cpu == 0) { pgd_t *pgd = pgd_offset_k(0UL); pgd_clear(pgd); } else { /* * For AP's, zap the low identity mappings by changing the cr3 * to init_level4_pgt and doing local flush tlb all */ asm volatile("movq %0,%%cr3" :: "r" (__pa_symbol(&init_level4_pgt))); } __flush_tlb_all(); 
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