Symbol: x86_64_ipi_wbinvd
sys/arch/amd64/amd64/ipifuncs.c
111
x86_64_ipi_wbinvd,
sys/arch/amd64/amd64/ipifuncs.c
63
void x86_64_ipi_wbinvd(struct cpu_info *);