Searched refs:TXTIMER_REGNUM (Results 1 – 2 of 2) sorted by relevance
152 val = core_reg_read(TXUCT_ID, TXTIMER_REGNUM, thread0); in arch_timer_setup()
388 #define TXTIMER_REGNUM 4 /* Timer-- causes timer trigger on overflow */ macro