ipmi_intr         160 dev/ipmi.c     int	ipmi_intr(void *);
ipmi_intr        1585 dev/ipmi.c     		    iaa->if_irqlvl, IPL_BIO, ipmi_intr, sc, DEVNAME(sc));