55 		u64	expires;	/* next timer expiration for this cpu */  member
93 static int uv_setup_intr(int cpu, u64 expires)  in uv_setup_intr()  argument
112 	uv_write_global_mmr64(pnode, UVH_INT_CMPB, expires);  in uv_setup_intr()
114 	if (uv_read_rtc(NULL) <= expires)  in uv_setup_intr()
164 		head->cpu[bcpu].expires = ULLONG_MAX;  in uv_rtc_allocate_timers()
178 		u64 exp = head->cpu[c].expires;  in uv_rtc_find_next_timer()
201 static int uv_rtc_set_timer(int cpu, u64 expires)  in uv_rtc_set_timer()  argument
207 	u64 *t = &head->cpu[bcpu].expires;  in uv_rtc_set_timer()
214 	*t = expires;  in uv_rtc_set_timer()
218 			expires < head->cpu[next_cpu].expires) {  in uv_rtc_set_timer()
220 		if (uv_setup_intr(cpu, expires)) {  in uv_rtc_set_timer()
243 	u64 *t = &head->cpu[bcpu].expires;  in uv_rtc_unset_timer()