Searched refs:inuser (Results 1 – 2 of 2) sorted by relevance
146 extern void timer_intr(int inuser, uint64_t iaddr);
67 timer_intr(__unused int inuser, __unused uint64_t iaddr) in timer_intr() argument