1 files changed, 23 insertions, 22 deletions

diff --git a/src/mainboard/siemens/sitemp_g1p1/int15_func.c b/src/mainboard/siemens/sitemp_g1p1/int15_func.c
index c6531913ae..97402622f3 100644
--- a/src/mainboard/siemens/sitemp_g1p1/int15_func.c
+++ b/src/mainboard/siemens/sitemp_g1p1/int15_func.c
@@ -25,21 +25,22 @@
 #include <stdlib.h>
 #include <console/console.h>
 #include <arch/interrupt.h>
+#include <x86emu/regs.h>
 #include "int15_func.h"
 
-int sbios_INT15_handler(struct eregs *);
+int sbios_INT15_handler(void);
 /*extern*/ unsigned long vgainfo_addr;
 
 static INT15_function_extensions __int15_func;
 
 /* System BIOS int15 function */
-int sbios_INT15_handler(struct eregs *regs)
+int sbios_INT15_handler(void)
 {
     int res = -1;
 
     printk(BIOS_DEBUG, "System BIOS INT 15h\n");
 
-    switch (regs->eax & 0xffff) {
+    switch (X86_EAX & 0xffff) {
 #define BOOT_DISPLAY_DEFAULT    0
 #define BOOT_DISPLAY_CRT        (1 << 0)
 #define BOOT_DISPLAY_TV         (1 << 1)
@@ -50,42 +51,42 @@ int sbios_INT15_handler(struct eregs *regs)
 #define BOOT_DISPLAY_EFP2       (1 << 6)
 #define BOOT_DISPLAY_LCD2       (1 << 7)
 	case 0x5f35:
-		regs->eax = 0x5f;
-		regs->ecx = BOOT_DISPLAY_DEFAULT;
+		X86_EAX = 0x5f;
+		X86_ECX = BOOT_DISPLAY_DEFAULT;
 		res = 0;
 		break;
 	case 0x5f40:
-		regs->eax = 0x5f;
-		regs->ecx = 3; // This is mainboard specific
-		printk(BIOS_DEBUG, "DISPLAY=%x\n", regs->ecx);
+		X86_EAX = 0x5f;
+		X86_ECX = 3; // This is mainboard specific
+		printk(BIOS_DEBUG, "DISPLAY=%x\n", X86_ECX);
 		res = 0;
 		break;
     case 0x4e08:
-        switch (regs->ebx & 0xff) {
+        switch (X86_EBX & 0xff) {
         case 0x00:
-            regs->eax &= ~(0xff);
-            regs->ebx = (regs->ebx & ~(0xff)) | __int15_func.regs.func00_LCD_panel_id;
-			printk(BIOS_DEBUG, "DISPLAY = %x\n", regs->ebx & 0xff);
+            X86_EAX &= ~(0xff);
+            X86_EBX = (X86_EBX & ~(0xff)) | __int15_func.regs.func00_LCD_panel_id;
+			printk(BIOS_DEBUG, "DISPLAY = %x\n", X86_EBX & 0xff);
             res = 0;
 			break;
 		case 0x02:
 			break;
         case 0x05:
-            regs->eax &= ~(0xff);
-            regs->ebx = (regs->ebx & ~(0xff)) | __int15_func.regs.func05_TV_standard;
-			printk(BIOS_DEBUG, "TV = %x\n", regs->ebx & 0xff);
+            X86_EAX &= ~(0xff);
+            X86_EBX = (X86_EBX & ~(0xff)) | __int15_func.regs.func05_TV_standard;
+			printk(BIOS_DEBUG, "TV = %x\n", X86_EBX & 0xff);
             res = 0;
 			break;
 		case 0x80:
-			regs->eax &= ~(0xff);
-			regs->ebx &= ~(0xff);
-			printk(BIOS_DEBUG, "Integrated System Information = %x:%x\n", regs->edx, regs->edi);
-			vgainfo_addr = (regs->edx * 16) + regs->edi;
+			X86_EAX &= ~(0xff);
+			X86_EBX &= ~(0xff);
+			printk(BIOS_DEBUG, "Integrated System Information = %x:%x\n", X86_EDX, X86_EDI);
+			vgainfo_addr = (X86_EDX * 16) + X86_EDI;
 			res = 0;
 			break;
 		case 0x89:
-			regs->eax &= ~(0xff);
-			regs->ebx &= ~(0xff);
+			X86_EAX &= ~(0xff);
+			X86_EBX &= ~(0xff);
 			printk(BIOS_DEBUG, "Get supported display device information\n");
 			res = 0;
 			break;
@@ -94,7 +95,7 @@ int sbios_INT15_handler(struct eregs *regs)
         }
         break;
 	default:
-        printk(BIOS_DEBUG, "Unknown INT15 function %04x!\n", regs->eax & 0xffff);
+        printk(BIOS_DEBUG, "Unknown INT15 function %04x!\n", X86_EAX & 0xffff);
 		break;
     }