Line data    Source code

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