wbinvd_on_cpu     143 arch/x86/include/asm/smp.h void wbinvd_on_cpu(int cpu);
wbinvd_on_cpu     396 arch/x86/kernel/cpu/cacheinfo.c 		wbinvd_on_cpu(cpu);
wbinvd_on_cpu      14 arch/x86/lib/cache-smp.c EXPORT_SYMBOL(wbinvd_on_cpu);