Searched refs:ptimer_intr (Results 1 – 1 of 1) sorted by relevance
99 static void ptimer_intr(void *);123 ptimer_intr, NULL); in time_init()1776 ptimer_intr(void *cookie) in ptimer_intr() function