Searched refs:PIC_CLOCK_TIMER (Results 1 – 2 of 2) sorted by relevance
368 uint64_t count = nlm_pic_read_timer(xlp_pic_base, PIC_CLOCK_TIMER); in platform_get_timecount()397 nlm_pic_set_timer(xlp_pic_base, PIC_CLOCK_TIMER, ~0ULL, 0, 0); in xlp_pic_init()
172 #define PIC_CLOCK_TIMER 7 macro