Symbol: i386_ipi_wbinvd
sys/arch/i386/i386/ipifuncs.c
53
void i386_ipi_wbinvd(struct cpu_info *);
sys/arch/i386/i386/ipifuncs.c
83
i386_ipi_wbinvd,