Symbol: send_dirint
usr/src/uts/i86pc/os/intr.c
1580
send_dirint(int cpuid, int int_level)
usr/src/uts/sun4/os/intr.c
400
send_dirint(