Searched refs:DDB_CPUSTAT (Results 1 – 6 of 6) sorted by relevance
170 CPUSTAT = %p:%p\n", (void *) ddb_in32(DDB_CPUSTAT + 4), in nile4_dump_irq_status()171 (void *) ddb_in32(DDB_CPUSTAT)); in nile4_dump_irq_status()
62 t = ddb_in32(DDB_CPUSTAT); in ddb_machine_restart()64 ddb_out32(DDB_CPUSTAT, t); in ddb_machine_restart()
55 #undef DDB_CPUSTAT /* duplicate in Vrc-5477 */56 #define DDB_CPUSTAT 0x0480 /* CPU Status [R] */ macro
65 #define DDB_CPUSTAT 0x0080 /* CPU Status [R/W] */ macro
267 CPUSTAT = %p:%p\n", (void *) ddb_in32(DDB_CPUSTAT + 4), in nile4_dump_irq_status()268 (void *) ddb_in32(DDB_CPUSTAT)); in nile4_dump_irq_status()
63 t = ddb_in32(DDB_CPUSTAT); in ddb_machine_restart()65 ddb_out32(DDB_CPUSTAT, t); in ddb_machine_restart()