OFFSET(TASK_DEBUGREGS, task_struct, thread.arch.debugregs); 
OFFSET(HOST_TASK_DEBUGREGS, task_struct, thread.arch.debugregs); 
void foo(void){	OFFSET(TASK_DEBUGREGS, task_struct, thread.arch.debugregs);#ifdef CONFIG_MODE_TT	OFFSET(TASK_EXTERN_PID, task_struct, thread.mode.tt.extern_pid);#endif#include <common-offsets.h>}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/ecba97d4aacf4e80c56eb73e39af0369cb8539a4/kernel-offsets.c/clean/arch/um/sys-i386/kernel-offsets.c