Define 16bit OFFSET_x to be 32bit addresses; introduce CONFIG_BIOS_ADDR.

[seabios.git] / src / util.h

diff --git a/src/util.h b/src/util.h
index 358289a9ad9971aee9f093a19816630e3dd43ed8..aa5e45741ca924450db0a0418fbc7e46d743a651 100644 (file)
--- a/src/util.h
+++ b/src/util.h
@@ -73,7 +73,7 @@ inline void __call16_int(struct bregs *callregs, u16 offset);
 #else
 #include "../out/rom16.offset.auto.h"
 #define call16_int(nr, callregs)                                \
-    __call16_int((callregs), OFFSET_irq_trampoline_ ##nr )
+    __call16_int((callregs), OFFSET_irq_trampoline_ ##nr - BUILD_BIOS_ADDR)
 #endif
 
 // output.c