linux/arch/x86/lib/cache-smp.c

// SPDX-License-Identifier: GPL-2.0
#include <asm/paravirt.h>
#include <linux/smp.h>
#include <linux/export.h>

static void __wbinvd(void *dummy)
{ … }

void wbinvd_on_cpu(int cpu)
{ … }
EXPORT_SYMBOL(…);

int wbinvd_on_all_cpus(void)
{ … }
EXPORT_SYMBOL(…);