blob: a281673f02b2401828a1a0347bbef98fa03447b1 [file] [log] [blame]
#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();
#ifdef CONFIG_MODE_TT
print_constant("TASK_EXTERN_PID", "int", THREAD_OFFSET(mode.tt.extern_pid));
#endif
print_tail();
return(0);
}