Searched refs:NILE4_T2CNTR (Results 1 – 2 of 2) sorted by relevance
87 nile4_out32(NILE4_T2CNTR, 0); in ddb_timer_init()
111 #define NILE4_T2CNTR 0x01E8 /* General-Purpose Timer Counter [R/W] */ macro