Index: /trunk/src/VBox/Devices/PC/BIOS-new/parallel.c
===================================================================
--- /trunk/src/VBox/Devices/PC/BIOS-new/parallel.c	(revision 40729)
+++ /trunk/src/VBox/Devices/PC/BIOS-new/parallel.c	(revision 40730)
@@ -44,5 +44,5 @@
 #include "inlines.h"
 
-void BIOSCALL int17_function(pusha_regs_t regs, uint16_t es, uint16_t ds, iret_addr_t iret_addr)
+void BIOSCALL int17_function(pusha_regs_t regs, uint16_t es, uint16_t ds, volatile iret_addr_t iret_addr)
 {
     uint16_t    addr,timeout;
Index: /trunk/src/VBox/Devices/PC/BIOS-new/serial.c
===================================================================
--- /trunk/src/VBox/Devices/PC/BIOS-new/serial.c	(revision 40729)
+++ /trunk/src/VBox/Devices/PC/BIOS-new/serial.c	(revision 40730)
@@ -44,5 +44,5 @@
 #include "biosint.h"
 
-void BIOSCALL int14_function(pusha_regs_t regs, uint16_t es, uint16_t ds, iret_addr_t iret_addr)
+void BIOSCALL int14_function(pusha_regs_t regs, uint16_t es, uint16_t ds, volatile iret_addr_t iret_addr)
 {
     uint16_t    addr, timer, val16;