From f28f1ee38728287d6dee9b3a5d2646d8b21c0596 Mon Sep 17 00:00:00 2001
From: Simon Renblad <srenblad@m-labs.hk>
Date: Fri, 25 Oct 2024 14:38:14 +0800
Subject: [PATCH] use C ABI for attribute writeback typeinfo

---
 src/libksupport/src/kernel/core1.rs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/libksupport/src/kernel/core1.rs b/src/libksupport/src/kernel/core1.rs
index 60e648d..7dfe17c 100644
--- a/src/libksupport/src/kernel/core1.rs
+++ b/src/libksupport/src/kernel/core1.rs
@@ -25,12 +25,14 @@ extern "C" {
 }
 
 unsafe fn attribute_writeback(typeinfo: *const ()) {
+    #[repr(C)]
     struct Attr {
         offset: usize,
         tag: CSlice<'static, u8>,
         name: CSlice<'static, u8>,
     }
 
+    #[repr(C)]
     struct Type {
         attributes: *const *const Attr,
         objects: *const *const (),