Searched refs:new_switchtime (Results 1 – 3 of 3) sorted by relevance
473 uint64_t runtime, new_switchtime; in mi_switch() local514 new_switchtime = cpu_ticks(); in mi_switch()515 runtime = new_switchtime - PCPU_GET(switchtime); in mi_switch()518 PCPU_SET(switchtime, new_switchtime); in mi_switch()
691 uint64_t runtime, new_switchtime; in statclock() local752 new_switchtime = cpu_ticks(); in statclock()753 runtime = new_switchtime - PCPU_GET(switchtime); in statclock()756 PCPU_SET(switchtime, new_switchtime); in statclock()
934 uint64_t runtime, new_switchtime; in thread_exit() local1013 new_switchtime = cpu_ticks(); in thread_exit()1014 runtime = new_switchtime - PCPU_GET(switchtime); in thread_exit()1017 PCPU_SET(switchtime, new_switchtime); in thread_exit()