21 lines
449 B
C
21 lines
449 B
C
#include <stdio.h>
|
|
#include <kernel-offsets.h>
|
|
|
|
int main(int argc, char **argv)
|
|
{
|
|
printf("/*\n");
|
|
printf(" * Generated by mk_thread\n");
|
|
printf(" */\n");
|
|
printf("\n");
|
|
printf("#ifndef __UM_THREAD_H\n");
|
|
printf("#define __UM_THREAD_H\n");
|
|
printf("\n");
|
|
#ifdef TASK_EXTERN_PID
|
|
printf("#define TASK_EXTERN_PID(task) *((int *) &(((char *) (task))[%d]))\n",
|
|
TASK_EXTERN_PID);
|
|
#endif
|
|
printf("\n");
|
|
printf("#endif\n");
|
|
return(0);
|
|
}
|