update

[l4.git] / kernel / fiasco / src / abi / amd64 / kip-amd64.cpp

diff --git a/kernel/fiasco/src/abi/amd64/kip-amd64.cpp b/kernel/fiasco/src/abi/amd64/kip-amd64.cpp
index 9400e83a7288366ba62e0bdefaf2e289c1d223df..70ada111163b955f4ea8deee29d71d8d9c28891d 100644 (file)
--- a/kernel/fiasco/src/abi/amd64/kip-amd64.cpp
+++ b/kernel/fiasco/src/abi/amd64/kip-amd64.cpp
@@ -9,6 +9,11 @@ INTERFACE [amd64]:
 EXTENSION class Kip
 {
 public:
+  struct Platform_info
+  {
+    char name[16];
+    Unsigned32 is_mp;
+  };
 
   /* 0x00 */
   Mword      magic;
@@ -66,6 +71,7 @@ public:
   Mword      _res8[2];
 
   /* 0x1E0 */
-  Unsigned32 __reserved[20];
+  Platform_info platform_info;
+  Unsigned32 __reserved[3];
 };