From 6bee30ed7998fc6b700b8f4e879b6999bb75df42 Mon Sep 17 00:00:00 2001
From: Trevor Gross <tmgross@umich.edu>
Date: Wed, 27 Nov 2024 17:13:45 -0500
Subject: [PATCH] trusty: Add `intptr_t` and `uintptr_t`

Other platforms export these types, so update Trusty to do so as well.
---
 src/trusty.rs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/trusty.rs b/src/trusty.rs
index 3155fd23e6a3..2d2b78881a75 100644
--- a/src/trusty.rs
+++ b/src/trusty.rs
@@ -43,6 +43,9 @@ pub type c_int16_t = i16;
 pub type c_int32_t = i32;
 pub type c_int64_t = i64;
 
+pub type intptr_t = isize;
+pub type uintptr_t = usize;
+
 pub type c_float = f32;
 pub type c_double = f64;