The VDSO implementation includes headers from outside of the vdso/ namespace. Introduce vdso/page.h to make sure that the generic library uses only the allowed namespace. Cc: Andy Lutomirski <luto@xxxxxxxxxx> Cc: Thomas Gleixner <tglx@xxxxxxxxxxxxx> Cc: Jason A. Donenfeld <Jason@xxxxxxxxx> Signed-off-by: Vincenzo Frascino <vincenzo.frascino@xxxxxxx> --- include/vdso/page.h | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 include/vdso/page.h diff --git a/include/vdso/page.h b/include/vdso/page.h new file mode 100644 index 000000000000..f18e304941cb --- /dev/null +++ b/include/vdso/page.h @@ -0,0 +1,7 @@ +/* SPDX-License-Identifier: GPL-2.0 */ +#ifndef __VDSO_PAGE_H +#define __VDSO_PAGE_H + +#include <asm/vdso/page.h> + +#endif /* __VDSO_PAGE_H */ -- 2.34.1