mpi_timeout_xs     90 dev/ic/mpi.c   void			mpi_timeout_xs(void *);
mpi_timeout_xs   1077 dev/ic/mpi.c   	timeout_set(&xs->stimeout, mpi_timeout_xs, ccb);