get64 65 drivers/xen/time.c state_time = get64(&state->state_entry_time); get64 69 drivers/xen/time.c } while (get64(&state->state_entry_time) != state_time || get64 2080 tools/testing/selftests/kvm/lib/sparsebit.c uint64_t first = get64(); get64 2081 tools/testing/selftests/kvm/lib/sparsebit.c uint64_t last = get64();