x86 boot: show pfn addresses in hex not decimal in some kernel info printks
[linux-2.6] / arch / x86 / ia32 /
drwxr-xr-x   ..
-rw-r--r-- 332 Makefile
-rw-r--r-- 641 audit.c
-rw-r--r-- 14911 ia32_aout.c
-rw-r--r-- 15941 ia32_signal.c
-rw-r--r-- 19131 ia32entry.S
-rw-r--r-- 1466 ipc32.c
-rw-r--r-- 22893 sys_ia32.c