1 #include "linux/config.h"
2 #include "linux/stddef.h"
3 #include "linux/sched.h"
5 extern void print_head(void);
6 extern void print_constant_ptr(char *name
, int value
);
7 extern void print_constant(char *name
, char *type
, int value
);
8 extern void print_tail(void);
10 #define THREAD_OFFSET(field) offsetof(struct task_struct, thread.field)
12 int main(int argc
, char **argv
)
16 print_constant("TASK_EXTERN_PID", "int", THREAD_OFFSET(mode
.tt
.extern_pid
));