331 #define VDSO_HEADER "vdso.c.inc"  macro
676 # define VDSO_HEADER  "vdso-le.c.inc"  macro
979 # define VDSO_HEADER  "vdso-be.c.inc"  macro
981 # define VDSO_HEADER  "vdso-le.c.inc"  macro
1245 # define VDSO_HEADER  "vdso-32.c.inc"  macro
1247 # define VDSO_HEADER  "vdso-64.c.inc"  macro
1249 # define VDSO_HEADER  "vdso-64le.c.inc"  macro
1262 #define VDSO_HEADER "vdso.c.inc"  macro
1841 #define VDSO_HEADER "vdso.c.inc"  macro
1851 #define VDSO_HEADER "vdso-32.c.inc"  macro
1854 #define VDSO_HEADER "vdso-64.c.inc"  macro
1890 #define VDSO_HEADER "vdso.c.inc"  macro