X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/3077745110b3fea73dd6d270c9777ab6df409cba..fba40cf7f1ec0cd4cfaa7ed6a530785cc666e2ec:/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 9400e83a7..70ada1111 100644
--- 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];
 };