| .. | .. |
|---|
| 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) |
|---|