core/kaboom.c: Export __bad_SEG()

We need to add __bad_SEG() to the symbol export whitelist, otherwise
ldlinux.c32 will fail to load if compiled with -DDEBUG=1 due to not
being able to resolve __bad_SEG().

Cc: H. Peter Anvin <hpa@zytor.com>
Signed-off-by: Matt Fleming <matt.fleming@intel.com>

diff --git a/core/kaboom.c b/core/kaboom.c
index 03dd917..310365d 100644 (file)
--- a/core/kaboom.c
+++ b/core/kaboom.c
@@ -8,7 +8,7 @@
 
 #include <dprintf.h>
 
-__noreturn __bad_SEG(const volatile void *p)
+__export __noreturn __bad_SEG(const volatile void *p)
 {
     dprintf("SEG() passed an invalid pointer: %p\n", p);
     kaboom();