mach_reset           = BSP_reset; 
mach_reset           = m68328_reset; 
void config_BSP(char *command, int len){  printk(KERN_INFO "\n68328 support D. Jeff Dionne <jeff@uclinux.org>\n");  printk(KERN_INFO "68328 support Kenneth Albanowski <kjahds@kjshds.com>\n");  printk(KERN_INFO "68328/Pilot support Bernhard Kuhn <kuhn@lpr.e-technik.tu-muenchen.de>\n");  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;  *command = '\0';}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/ee721126cae77e66efb470d38cf971ed7b0c506b/config.c/clean/arch/m68knommu/platform/68328/config.c