Symbol: apix_loaded
usr/src/uts/i86pc/io/pcplusmp/apic.c
255
if (apix_enable && apix_loaded()) {
usr/src/uts/i86pc/sys/apic_common.h
64
extern int apix_loaded(void);