idm_wd_thread
idm.idm_wd_thread = thread_create(NULL, 0,
idm_wd_thread, NULL, 0, &p0, TS_RUN, minclsyspri);
if (idm.idm_wd_thread == NULL) {
extern void idm_wd_thread(void *arg);
kthread_t *idm_wd_thread;