Searched refs:pic32_xlate_core_timer_irq (Results 1 – 1 of 1) sorted by relevance
24 static unsigned int pic32_xlate_core_timer_irq(void) in pic32_xlate_core_timer_irq() function50 return pic32_xlate_core_timer_irq(); in get_c0_compare_int()