60 	ddb_out32(DDB_PCICTRL + 4, t);  in ddb_machine_restart()
64 	ddb_out32(DDB_CPUSTAT, t);  in ddb_machine_restart()
111 	ddb_out32(TIMER_BASE, TIMER_FREQUENCY/HZ);  in ddb_timer_setup()
112 	ddb_out32(TIMER_BASE+4, 0x1);	/* enable timer */  in ddb_timer_setup()
247 	ddb_out32(DDB_BAR0, 0x00000008);  in ddb5476_board_init()
249 	ddb_out32(DDB_BARC, 0xffffffff);  in ddb5476_board_init()
250 	ddb_out32(DDB_BARB, 0xffffffff);  in ddb5476_board_init()
251 	ddb_out32(DDB_BAR1, 0xffffffff);  in ddb5476_board_init()
252 	ddb_out32(DDB_BAR2, 0xffffffff);  in ddb5476_board_init()
253 	ddb_out32(DDB_BAR3, 0xffffffff);  in ddb5476_board_init()
254 	ddb_out32(DDB_BAR4, 0xffffffff);  in ddb5476_board_init()
255 	ddb_out32(DDB_BAR5, 0xffffffff);  in ddb5476_board_init()
256 	ddb_out32(DDB_BAR6, 0xffffffff);  in ddb5476_board_init()
257 	ddb_out32(DDB_BAR7, 0xffffffff);  in ddb5476_board_init()
258 	ddb_out32(DDB_BAR8, 0xffffffff);  in ddb5476_board_init()