diff --git a/hypervisor/bsp/uefi/efi/boot.c b/hypervisor/bsp/uefi/efi/boot.c
index 68c1ee3a2..af7f82f6f 100644
--- a/hypervisor/bsp/uefi/efi/boot.c
+++ b/hypervisor/bsp/uefi/efi/boot.c
@@ -39,7 +39,6 @@
 
 EFI_SYSTEM_TABLE *sys_table;
 EFI_BOOT_SERVICES *boot;
-EFI_RUNTIME_SERVICES *runtime;
 extern const uint64_t guest_entry;
 
 static inline void hv_jump(EFI_PHYSICAL_ADDRESS hv_start,
@@ -339,7 +338,6 @@ efi_main(EFI_HANDLE image, EFI_SYSTEM_TABLE *_table)
 
 	sys_table = _table;
 	boot = sys_table->BootServices;
-	runtime = sys_table->RuntimeServices;
 
 	if (CheckCrc(sys_table->Hdr.HeaderSize, &sys_table->Hdr) != TRUE)
 		return EFI_LOAD_ERROR;
diff --git a/hypervisor/bsp/uefi/efi/efilinux.h b/hypervisor/bsp/uefi/efi/efilinux.h
index d92ab3e4e..08fc49f90 100644
--- a/hypervisor/bsp/uefi/efi/efilinux.h
+++ b/hypervisor/bsp/uefi/efi/efilinux.h
@@ -48,7 +48,6 @@
 
 extern EFI_SYSTEM_TABLE *sys_table;
 extern EFI_BOOT_SERVICES *boot;
-extern EFI_RUNTIME_SERVICES *runtime;
 
 /**
  * allocate_pages - Allocate memory pages from the system