// SPDX-License-Identifier: GPL-2.0
#include <stdio.h>
#include <string.h>

#define VDSO__MAP_NAME "[vdso]"

/*
 * Include definition of find_vdso_map() also used in util/vdso.c for
 * building perf.
 */
#include "util/find-vdso-map.c"

int main(void)
{
	void *start, *end;
	size_t size, written;

	if (find_vdso_map(&start, &end))
		return 1;

	size = end - start;

	while (size) {
		written = fwrite(start, 1, size, stdout);
		if (!written)
			return 1;
		start += written;
		size -= written;
	}

	if (fflush(stdout))
		return 1;

	return 0;
}