Searched refs:DDB_INT4STAT (Results 1 – 3 of 3) sorted by relevance
49 {"DDB_INT4STAT", DDB_BASE + DDB_INT4STAT},
174 db_assert(ddb_in32(DDB_INT4STAT) == 0); in vrc5477_irq_dispatch()
47 #define DDB_INT4STAT 0x0440 /* INT4 Status [R] */ macro