PRINT_REG("IP", EIP); PRINT_REG("SP", UESP); PRINT_REG("EFLAGS", EFL); PRINT_REG("EAX", EAX); PRINT_REG("EBX", EBX); PRINT_REG("ECX", ECX); PRINT_REG("EDX", EDX); PRINT_REG("ESI", ESI); PRINT_REG("EDI", EDI); PRINT_REG("EBP", EBP); PRINT_REG("CS", CS); PRINT_REG("SS", SS); PRINT_REG("DS", DS); PRINT_REG("FS", FS); PRINT_REG("ES", ES); PRINT_REG("GS", GS); 
SHOW(HOST_IP); SHOW(HOST_SP); SHOW(HOST_EFLAGS); SHOW(HOST_EAX); SHOW(HOST_EBX); SHOW(HOST_ECX); SHOW(HOST_EDX); SHOW(HOST_ESI); SHOW(HOST_EDI); SHOW(HOST_EBP); SHOW(HOST_CS); SHOW(HOST_SS); SHOW(HOST_DS); SHOW(HOST_FS); SHOW(HOST_ES); SHOW(HOST_GS);  
int main(int argc, char **argv){	printf("/* Automatically generated by "	       "arch/um/kernel/skas/util/mk_ptregs */\n");	printf("\n");	printf("#ifndef __SKAS_PT_REGS_\n");	printf("#define __SKAS_PT_REGS_\n");	printf("\n");	printf("#define HOST_FRAME_SIZE %d\n", FRAME_SIZE);	printf("#define HOST_FP_SIZE %d\n",	       sizeof(struct user_i387_struct) / sizeof(unsigned long));	printf("#define HOST_XFP_SIZE %d\n",	       sizeof(struct user_fxsr_struct) / sizeof(unsigned long));	PRINT_REG("IP", EIP);	PRINT_REG("SP", UESP);	PRINT_REG("EFLAGS", EFL);	PRINT_REG("EAX", EAX);	PRINT_REG("EBX", EBX);	PRINT_REG("ECX", ECX);	PRINT_REG("EDX", EDX);	PRINT_REG("ESI", ESI);	PRINT_REG("EDI", EDI);	PRINT_REG("EBP", EBP);	PRINT_REG("CS", CS);	PRINT_REG("SS", SS);	PRINT_REG("DS", DS);	PRINT_REG("FS", FS);	PRINT_REG("ES", ES);	PRINT_REG("GS", GS);	printf("\n");	printf("#endif\n");	return(0);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/1cd3bc1c810c83fb8955035675165a644e0c9a84/mk_ptregs-i386.c/buggy/arch/um/kernel/skas/util/mk_ptregs-i386.c