out_8((u8 *)(cpci690_br_base + CPCI690_BR_SW_RESET), 0x11); 
out_8((cpci690_br_base + CPCI690_BR_SW_RESET), 0x11); 
cpci690_reset_board(void){	u32	i = 10000;	local_irq_disable();	out_8((u8 *)(cpci690_br_base + CPCI690_BR_SW_RESET), 0x11);	while (i != 0) i++;	panic("restart failed\n");}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/f54bef9e9c84c8dc656c55dc96c1da7b6d1c53d8/cpci690.c/buggy/arch/ppc/platforms/cpci690.c