efi: Export __bcopyxx_len

We need to provide a __bcopyxx_len symbol for EFI because it's
referenced in generic code in libcom32.c32. Without this change,
libcom32.c32 will fail to load under EFI.

Signed-off-by: Matt Fleming <matt.fleming@intel.com>

2 files changed, 2 insertions, 1 deletions

diff --git a/core/include/core.h b/core/include/core.h
index 5736d393..127ac656 100644
--- a/core/include/core.h
+++ b/core/include/core.h
@@ -26,6 +26,7 @@ extern char cmd_line[];
 extern char ConfigFile[];
 extern char syslinux_banner[];
 extern char copyright_str[];
+extern unsigned int __bcopyxx_len;
 
 /*
  * Mark symbols that are only used by BIOS as __weak until we can move
@@ -35,7 +36,6 @@ extern char copyright_str[];
 extern __weak uint16_t BIOSName;
 extern __weak char KernelName[];
 extern __weak char StackBuf[];
-extern __weak unsigned int __bcopyxx_len;
 
 extern uint8_t KbdMap[256];
 
diff --git a/efi/main.c b/efi/main.c
index 438e88c7..51ff9f39 100644
--- a/efi/main.c
+++ b/efi/main.c
@@ -153,6 +153,7 @@ void pxenv(void)
 uint16_t BIOS_fbm = 1;
 far_ptr_t InitStack;
 far_ptr_t PXEEntry;
+__export unsigned int __bcopyxx_len = 0;
 
 void gpxe_unload(void)
 {