asm volatile("wbinvd":::"memory"); 
wbinvd(); 
static void flush_kernel_map(void *dummy) { 	/* Could use CLFLUSH here if the CPU supports it (Hammer,P4) */	if (boot_cpu_data.x86_model >= 4) 		asm volatile("wbinvd":::"memory"); 	/* Flush all to work around Errata in early athlons regarding 	 * large page flushing. 	 */	__flush_tlb_all(); 	}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/4bb0d3ec3e5b1e9e2399cdc641b3b6521ac9cdaa/pageattr.c/clean/arch/i386/mm/pageattr.c