do_deferred_work
static void do_deferred_work(caddr_t);
tp = thread_create(NULL, 0, do_deferred_work, NULL, 0, &p0,