pic_handle_softint
pic_handle_softint, (void *)SOFTINT_BIO, "softint bio");
pic_handle_softint, (void *)SOFTINT_CLOCK, "softint clock");
pic_handle_softint, (void *)SOFTINT_NET, "softint net");
pic_handle_softint, (void *)SOFTINT_SERIAL, "softint serial");
int pic_handle_softint(void *);