Searched refs:timer_intr (Results 1 – 5 of 5) sorted by relevance
145 extern void timer_intr(int inuser, uint64_t iaddr);
67 timer_intr(__unused int inuser, __unused uint64_t iaddr) in timer_intr() function
369 timer_intr(user_mode, pc); in rtclock_intr()
450 timer_intr(user_mode, rip); in rtclock_intr()
70 timer_intr(int user_mode, uint64_t rip) in timer_intr() function