Searched refs:hardclock_ipi (Results 1 – 1 of 1) sorted by relevance
109 hardclock_ipi(void *cap) in hardclock_ipi() function299 hardclock_ipi, NULL); in timerattach_obio_4m()