Symbol: apix_post_hardint
usr/src/uts/i86pc/io/apix/apix_intr.c
221
apix_post_hardint(vector);
usr/src/uts/i86pc/io/apix/apix_intr.c
74
static void apix_post_hardint(int);