ithread_handler
static void ithread_handler(void *arg);
lwkt_create(ithread_handler, (void *)(intptr_t)intr, NULL,