__wbinvd           12 arch/x86/lib/cache-smp.c 	smp_call_function_single(cpu, __wbinvd, NULL, 1);
__wbinvd           18 arch/x86/lib/cache-smp.c 	on_each_cpu(__wbinvd, NULL, 1);