From 0539aae2213ec239a7e672357967138d930fdd7b Mon Sep 17 00:00:00 2001
From: Marcin Witkowski <mwitkowski@antmicro.com>
Date: Wed, 25 May 2022 18:56:43 +0200
Subject: [PATCH] sel4-sys: add isTainted member to UntypedDesc

Change-Id: Id69616f01a6f546e1d4db712092497c5a0367596
GitOrigin-RevId: 11c131a1af0fe1d8b4831a91a3ff5adc757461a1
---
 apps/system/components/kata-os-common/src/sel4-sys/lib.rs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/apps/system/components/kata-os-common/src/sel4-sys/lib.rs b/apps/system/components/kata-os-common/src/sel4-sys/lib.rs
index f99cc34..6d0b6e3 100644
--- a/apps/system/components/kata-os-common/src/sel4-sys/lib.rs
+++ b/apps/system/components/kata-os-common/src/sel4-sys/lib.rs
@@ -311,11 +311,14 @@ pub struct seL4_UntypedDesc {
     pub sizeBits: u8,
     /// Whether the backing memory corresponds to some device memory
     pub isDevice: u8,
+    /// Whether the untyped object was tainted by the kernel
+    pub isTainted: u8,
     // Align to seL4_Word
     align: [seL4_Word; 0],
 }
 impl seL4_UntypedDesc {
     pub fn is_device(&self) -> bool { self.isDevice != 0 }
+    pub fn is_tainted(&self) -> bool { self.isTainted != 0 }
     pub fn size_bits(&self) -> usize { self.sizeBits as usize }
 }