31 lines
591 B
C
31 lines
591 B
C
#include <stdio.h>
|
|
|
|
void print_head(void)
|
|
{
|
|
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");
|
|
}
|
|
|
|
void print_constant_ptr(char *name, int value)
|
|
{
|
|
printf("#define %s(task) ((unsigned long *) "
|
|
"&(((char *) (task))[%d]))\n", name, value);
|
|
}
|
|
|
|
void print_constant(char *name, char *type, int value)
|
|
{
|
|
printf("#define %s(task) *((%s *) &(((char *) (task))[%d]))\n", name, type,
|
|
value);
|
|
}
|
|
|
|
void print_tail(void)
|
|
{
|
|
printf("\n");
|
|
printf("#endif\n");
|
|
}
|