Huang, Ying 8b2cb7a8f5 x86: 32-bit EFI runtime service support: fixes in sync with 64-bit support ... support according to fixes of x86_64 support. - Delete efi_rt_lock because it is used during system early boot, before SMP is initialized. - Change local_flush_tlb() to __flush_tlb_all() to flush global page mapping. - Clean up includes. - Revise Kconfig description. - Enable noefi kernel parameter on i386. Signed-off-by: Huang Ying <ying.huang@intel.com> Cc: Andi Kleen <ak@suse.de> Signed-off-by: Andrew Morton <akpm@linux-foundation.org> Signed-off-by: Ingo Molnar <mingo@elte.hu> Signed-off-by: Thomas Gleixner <tglx@linutronix.de>		2008-01-30 13:32:11 +01:00
..
boot-options.txt	x86: 32-bit EFI runtime service support: fixes in sync with 64-bit support	2008-01-30 13:32:11 +01:00
cpu-hotplug-spec
fake-numa-for-cpusets
kernel-stacks
machinecheck
mm.txt
uefi.txt