6 printf(" * Generated by mk_thread\n");
9 printf("#ifndef __UM_THREAD_H\n");
10 printf("#define __UM_THREAD_H\n");
14 void print_constant_ptr(char *name, int value)
16 printf("#define %s(task) ((unsigned long *) "
17 "&(((char *) (task))[%d]))\n", name, value);
20 void print_constant(char *name, char *type, int value)
22 printf("#define %s(task) *((%s *) &(((char *) (task))[%d]))\n", name, type,