Searched refs:TIMER01_INT (Results 1 – 2 of 2) sorted by relevance
59 unmask_interrupt(TIMER01_INT); in platform_set_periodic_timer()99 register_int_handler(TIMER01_INT, &platform_tick, NULL); in platform_init_timer()
55 #define TIMER01_INT 34 macro