state_entry_time   65 drivers/xen/time.c 		state_time = get64(&state->state_entry_time);
state_entry_time   69 drivers/xen/time.c 	} while (get64(&state->state_entry_time) != state_time ||
state_entry_time   81 include/xen/interface/vcpu.h 	uint64_t state_entry_time;