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);