Revert "x86-64/efi: Use EFI to deal with platform wall clock (again)"

[pandora-kernel.git] / arch / x86 / platform / efi / efi_64.c

diff --git a/arch/x86/platform/efi/efi_64.c b/arch/x86/platform/efi/efi_64.c
index 06c8b2e..95fd505 100644 (file)
--- a/arch/x86/platform/efi/efi_64.c
+++ b/arch/x86/platform/efi/efi_64.c
@@ -58,21 +58,6 @@ static void __init early_code_mapping_set_exec(int executable)
        }
 }
 
-unsigned long efi_call_virt_prelog(void)
-{
-       unsigned long saved;
-
-       saved = read_cr3();
-       write_cr3(real_mode_header->trampoline_pgd);
-
-       return saved;
-}
-
-void efi_call_virt_epilog(unsigned long saved)
-{
-       write_cr3(saved);
-}
-
 void __init efi_call_phys_prelog(void)
 {
        unsigned long vaddress;