unsigned int hdr_ctrl =	(IO_ADDRESS(REALVIEW_SYS_BASE) + REALVIEW_SYS_RESETCTL_OFFSET); 
void __iomem *hdr_ctrl = __io_address(REALVIEW_SYS_BASE) + REALVIEW_SYS_RESETCTL_OFFSET; 
static inline void arch_reset(char mode){	unsigned int hdr_ctrl =	(IO_ADDRESS(REALVIEW_SYS_BASE) + REALVIEW_SYS_RESETCTL_OFFSET);	unsigned int val;	/*	 * To reset, we hit the on-board reset register	 * in the system FPGA	 */	val = __raw_readl(hdr_ctrl);	val |= REALVIEW_SYS_CTRL_RESET_CONFIGCLR;	__raw_writel(val, hdr_ctrl);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/ce07d90aa80a4c9a956eb2f662e4be5ea5c6baf8/system.h/buggy/include/asm-arm/arch-realview/system.h