mach_reset           = BSP_reset; 
mach_reset           = m68ez328_reset; 
void config_BSP(char *command, int len){  unsigned char *p;  printk(KERN_INFO "\n68EZ328 DragonBallEZ support (C) 1999 Rt-Control, Inc\n");#ifdef CONFIG_UCSIMM  printk(KERN_INFO "uCsimm serial string [%s]\n",getserialnum());  p = cs8900a_hwaddr = gethwaddr(0);  printk(KERN_INFO "uCsimm hwaddr %.2x:%.2x:%.2x:%.2x:%.2x:%.2x\n",         p[0], p[1], p[2], p[3], p[4], p[5]);  p = getbenv("APPEND");  if (p) strcpy(p,command);  else command[0] = 0;#endif   mach_sched_init      = BSP_sched_init;  mach_tick            = BSP_tick;  mach_gettimeoffset   = BSP_gettimeoffset;  mach_gettod          = BSP_gettod;  mach_hwclk           = NULL;  mach_set_clock_mmss  = NULL;  mach_reset           = BSP_reset;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/03981f2427c767cfcd917cb51197c43fe68ba5db/config.c/buggy/arch/m68knommu/platform/68EZ328/config.c