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	x86: EFI runtime service support: document for EFI runtime services	2008-01-30 13:31:19 +01:00