d746d647f3
For x86 ARCH may say i386 or x86_64 and soon x86. Rely on CONFIG_X64_32 to select between 32/64 or just hardcode the value as appropriate. Signed-off-by: Sam Ravnborg <sam@ravnborg.org> Cc: Thomas Gleixner <tglx@linutronix.de> Cc: Ingo Molnar <mingo@redhat.com> Cc: "H. Peter Anvin" <hpa@zytor.com> |
||
---|---|---|
.. | ||
.gitignore | ||
Makefile | ||
vclock_gettime.c | ||
vdso-note.S | ||
vdso-start.S | ||
vdso.S | ||
vdso.lds.S | ||
vextern.h | ||
vgetcpu.c | ||
vma.c | ||
voffset.h | ||
vvar.c |