Index: x86.c
===================================================================
--- x86.c   (revision 5581)
+++ x86.c   (working copy)
@@ -282,8 +282,8 @@

    printk(BIOS_DEBUG, "Calling VSA module...\n");

-   /* ECX gets SMM, EDX gets SYSMEM */
-   realmode_call(VSA2_ENTRY_POINT, 0x0, 0x0, MSR_GLIU0_SMM,
+   /* EAX gets SMM, EDX gets SYSMEM */
+   realmode_call(VSA2_ENTRY_POINT, MSR_GLIU0_SMM, 0x0, 0x0
            MSR_GLIU0_SYSMEM, 0x0, 0x0);

    printk(BIOS_DEBUG, "... VSA module returned.\n");