Searched refs:rs_clock (Results 1 – 5 of 5) sorted by relevance
14 extern uint64_t rs_clock();
79 if (rs_timer_get_first_expire() <= rs_clock()) in HPET_handler()83 … if (rs_clock() >= video_refresh_expire_jiffies || (video_last_refresh_pid != current_pcb->pid)) in HPET_handler()87 if (unlikely(rs_clock() >= (video_refresh_expire_jiffies + (1 << 17)))) in HPET_handler()89 video_refresh_expire_jiffies = rs_clock() + (1 << 20); in HPET_handler()
15 extern uint64_t rs_clock();
303 pub extern "C" fn rs_clock() -> u64 { in rs_clock() function
56 if (rs_clock() >= video_refresh_expire_jiffies) in video_refresh_daemon()86 if (rs_clock() >= video_refresh_expire_jiffies) in video_refresh_framebuffer()