get64 - Linux

Symbol: get64

drivers/xen/time.c

state_time = get64(&state->state_entry_time);

drivers/xen/time.c

} while (get64(&state->state_entry_time) != state_time ||

tools/testing/selftests/kvm/lib/sparsebit.c

uint64_t first = get64();

tools/testing/selftests/kvm/lib/sparsebit.c

uint64_t last = get64();

tools/testing/selftests/powerpc/nx-gzip/gunz_test.c

buf_addr = get64(dde_list[i], ddead);