| #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"); |
| printf("#define TASK_DEBUGREGS(task) ((unsigned long *) " |
| "&(((char *) (task))[%d]))\n", TASK_DEBUGREGS); |
| #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); |
| } |