src/libs/compat/freebsd_network/compat/machine/x86/cpufunc.h

332

#ifndef wbinvd

src/libs/compat/freebsd_network/compat/machine/x86/cpufunc.h

747

void wbinvd(void);

src/libs/compat/freebsd_network/compat/machine/x86_64/cpufunc.h

345

#ifndef wbinvd

src/libs/compat/freebsd_network/compat/machine/x86_64/cpufunc.h

851

void wbinvd(void);

src/system/kernel/arch/x86/arch_cpu.cpp

1146

wbinvd();

src/system/kernel/arch/x86/arch_cpu.cpp

1264

wbinvd();

src/system/kernel/arch/x86/arch_cpu.cpp

167

wbinvd();

src/system/kernel/arch/x86/arch_cpu.cpp

176

wbinvd();