write_to_buffer
write_to_buffer(data, 0, copy->do_64bit, *((u64 *)query_addr));
write_to_buffer(data, 1, copy->do_64bit, available ? 1u : 0u);
write_to_buffer(data, performance_query->ncounters,