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");}