Branch data     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);