// 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;
  }