get64              90 arch/x86/xen/time.c 		state_time = get64(&state->state_entry_time);
get64              94 arch/x86/xen/time.c 	} while (get64(&state->state_entry_time) != state_time);