state_time         57 drivers/xen/time.c 	u64 state_time;
state_time         65 drivers/xen/time.c 		state_time = get64(&state->state_entry_time);
state_time         69 drivers/xen/time.c 	} while (get64(&state->state_entry_time) != state_time ||
state_time         70 drivers/xen/time.c 		 (state_time & XEN_RUNSTATE_UPDATE));