omap_writew(1, ARM_RSTCT1); 
 #ifdef CONFIG_ARCH_OMAP16XX /* * Workaround for 5912/1611b bug mentioned in sprz209d.pdf p. 28 * "Global Software Reset Affects Traffic Controller Frequency". */ if (cpu_is_omap5912()) { omap_writew(omap_readw(DPLL_CTL) & ~(1 << 4), DPLL_CTL); omap_writew(0x8, ARM_RSTCT1); } #endif #ifdef CONFIG_MACH_VOICEBLUE if (machine_is_voiceblue()) voiceblue_reset(); else #endif omap_writew(1, ARM_RSTCT1); 
static inline void arch_reset(char mode){	omap_writew(1, ARM_RSTCT1);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/af973d2aff6008bc7500277eb5a523db579731c6/system.h/buggy/include/asm-arm/arch-omap/system.h