58 	volatile uint64_t hlt_count;  member
110 		data->hlt_count++;  in halter_guest_code()
156 	last_hlt_count = data->hlt_count;  in sender_guest_code()
180 			    (data->hlt_count != last_hlt_count))  in sender_guest_code()
186 			     (data->hlt_count != last_hlt_count));  in sender_guest_code()
189 		last_hlt_count = data->hlt_count;  in sender_guest_code()
221 			    params->data->ipis_sent, params->data->hlt_count,  in vcpu_thread()
263 	uint64_t hlt_count;  in do_migrations()  local
301 	hlt_count = data->hlt_count;  in do_migrations()
343 				data->hlt_count, data->wake_count);  in do_migrations()
346 				    hlt_count != data->hlt_count &&  in do_migrations()
353 			hlt_count = data->hlt_count;  in do_migrations()
441 	while ((wait_secs < max_halter_wait) && !data->hlt_count) {  in main()
446 	TEST_ASSERT(data->hlt_count,  in main()
482 		data->hlt_count, data->wake_count, *pipis_rcvd,  in main()