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