.. | .. |
---|
| 1 | +// SPDX-License-Identifier: GPL-2.0-only |
---|
1 | 2 | /* |
---|
2 | 3 | * vdso_test.c: Sample code to test parse_vdso.c on x86 |
---|
3 | 4 | * Copyright (c) 2011-2014 Andy Lutomirski |
---|
4 | | - * Subject to the GNU General Public License, version 2 |
---|
5 | 5 | * |
---|
6 | 6 | * You can amuse yourself by compiling with: |
---|
7 | 7 | * gcc -std=gnu99 -nostdlib |
---|
.. | .. |
---|
16 | 16 | #include <unistd.h> |
---|
17 | 17 | #include <stdint.h> |
---|
18 | 18 | |
---|
19 | | -extern void *vdso_sym(const char *version, const char *name); |
---|
20 | | -extern void vdso_init_from_sysinfo_ehdr(uintptr_t base); |
---|
21 | | -extern void vdso_init_from_auxv(void *auxv); |
---|
| 19 | +#include "parse_vdso.h" |
---|
22 | 20 | |
---|
23 | 21 | /* We need a libc functions... */ |
---|
24 | 22 | int strcmp(const char *a, const char *b) |
---|