Symbol: xc_flush_cpu
usr/src/uts/i86pc/io/pcplusmp/apic_common.c
569
rc = xc_flush_cpu(cp);
usr/src/uts/i86pc/sys/x_call.h
76
extern int xc_flush_cpu(struct cpu *);