[PATCH -mm] i386 EFI runtime service support : fixes in sync with x86_64 support

2007-12-13 Thread Huang, Ying
This patch fixes several issues of i386 EFI basic runtime service 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

[PATCH -mm] i386 EFI runtime service support : fixes in sync with x86_64 support

2007-12-13 Thread Huang, Ying
This patch fixes several issues of i386 EFI basic runtime service 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