Searched refs:chk_int_timer (Results 1 – 3 of 3) sorted by path
319 int chk_int_timer(REGS *regs) in chk_int_timer() function529 chk_int_timer(regs); in ARCH_DEP()
39 int chk_int_timer(REGS *); /* Check int_timer pending */
117 if( chk_int_timer(regs) ) in update_cpu_timer()129 if( chk_int_timer(regs->guestregs) ) in update_cpu_timer()