12345678910111213141516171819202122 |
- #include "linux/config.h"
- #include "linux/stddef.h"
- #include "linux/sched.h"
- extern void print_head(void);
- extern void print_constant_ptr(char *name, int value);
- extern void print_constant(char *name, char *type, int value);
- extern void print_tail(void);
- #define THREAD_OFFSET(field) offsetof(struct task_struct, thread.field)
- int main(int argc, char **argv)
- {
- print_head();
- print_constant_ptr("TASK_DEBUGREGS", THREAD_OFFSET(arch.debugregs));
- #ifdef CONFIG_MODE_TT
- print_constant("TASK_EXTERN_PID", "int", THREAD_OFFSET(mode.tt.extern_pid));
- #endif
- print_tail();
- return(0);
- }
|