Symbol: mbtnintr
sys/arch/sandpoint/sandpoint/satmgr.c
158
static int mbtnintr(void *);
sys/arch/sandpoint/sandpoint/satmgr.c
329
IST_LEVEL, IPL_SERIAL, mbtnintr, sc, intr_xname);