mk_thread.c 449 B

1234567891011121314151617181920
  1. #include <stdio.h>
  2. #include <kernel-offsets.h>
  3. int main(int argc, char **argv)
  4. {
  5. printf("/*\n");
  6. printf(" * Generated by mk_thread\n");
  7. printf(" */\n");
  8. printf("\n");
  9. printf("#ifndef __UM_THREAD_H\n");
  10. printf("#define __UM_THREAD_H\n");
  11. printf("\n");
  12. #ifdef TASK_EXTERN_PID
  13. printf("#define TASK_EXTERN_PID(task) *((int *) &(((char *) (task))[%d]))\n",
  14. TASK_EXTERN_PID);
  15. #endif
  16. printf("\n");
  17. printf("#endif\n");
  18. return(0);
  19. }