1// SPDX-License-Identifier: GPL-2.0
2#include <linux/smp.h>
3#include <linux/export.h>
4
5static void __wbinvd(void *dummy)
6{
7 wbinvd();
8}
9
10void wbinvd_on_cpu(int cpu)
11{
12 smp_call_function_single(cpuid: cpu, func: __wbinvd, NULL, wait: 1);
13}
14EXPORT_SYMBOL(wbinvd_on_cpu);
15
16int wbinvd_on_all_cpus(void)
17{
18 on_each_cpu(func: __wbinvd, NULL, wait: 1);
19 return 0;
20}
21EXPORT_SYMBOL(wbinvd_on_all_cpus);
22

source code of linux/arch/x86/lib/cache-smp.c