Searched refs:pc_switchtime (Results 1 – 2 of 2) sorted by relevance
96 * reading of pc_switchtime. in check_cpu_switched() 100 sw = pc->pc_switchtime; in check_cpu_switched()
182 uint64_t pc_switchtime; /* cpu_ticks() at last csw */ member