2 #include <kernel-offsets.h>
4 int main(int argc
, char **argv
)
7 printf(" * Generated by mk_thread\n");
10 printf("#ifndef __UM_THREAD_H\n");
11 printf("#define __UM_THREAD_H\n");
13 #ifdef TASK_EXTERN_PID
14 printf("#define TASK_EXTERN_PID(task) *((int *) &(((char *) (task))[%d]))\n",