Searched refs:int_clock (Results 1 – 3 of 3) sorted by relevance
124 if (S390_lowcore.int_clock >= S390_lowcore.clock_comparator) in do_extint()
135 idle_time = S390_lowcore.int_clock - idle->idle_enter; in vtime_start_cpu()137 S390_lowcore.last_update_clock = S390_lowcore.int_clock; in vtime_start_cpu()
286 __u64 int_clock; /* 0xc98 */ member379 __u64 int_clock; /* 0xde8 */