sys/arch/amd64/amd64/kobj_machdep.c

176

wbinvd();

sys/arch/amd64/amd64/kobj_machdep.c

178

where = xc_broadcast(0, (xcfunc_t)wbinvd, NULL, NULL);

sys/arch/i386/i386/kobj_machdep.c

152

wbinvd();

sys/arch/i386/i386/kobj_machdep.c

154

where = xc_broadcast(0, (xcfunc_t)wbinvd, NULL, NULL);

sys/arch/i386/i386/mtrr_k6.c

114

wbinvd();

sys/arch/x86/include/cpufunc.h

65

void wbinvd(void);

sys/arch/x86/pci/agp_machdep.c

22

wbinvd();

sys/arch/x86/x86/cpu.c

1173

wbinvd();

sys/arch/x86/x86/cpu.c

999

wbinvd();

sys/arch/x86/x86/cpu_ucode_intel.c

221

wbinvd();

sys/arch/x86/x86/mtrr_i686.c

208

wbinvd();

sys/arch/x86/x86/mtrr_i686.c

263

wbinvd();

sys/arch/x86/x86/spectre.c

310

wbinvd();

sys/arch/x86/x86/spectre.c

661

wbinvd();

sys/arch/xen/include/xen.h

285

void wbinvd(void);

sys/dev/acpi/acpica/acpi_func.h

93

#define ACPI_FLUSH_CPU_CACHE() wbinvd()