github/sparrow-kata-full
1
0
Fork 0
mirror of https://github.com/AmbiML/sparrow-kata-full.git synced 2025-09-16 23:18:54 +00:00
Code Issues Projects Releases Wiki Activity

sel4-sys: add isTainted member to UntypedDesc

Browse Source 
Change-Id: Id69616f01a6f546e1d4db712092497c5a0367596
GitOrigin-RevId: 11c131a1af0fe1d8b4831a91a3ff5adc757461a1
This commit is contained in:
Marcin Witkowski
2022-05-25 18:56:43 +02:00
committed by Sam Leffler
parent 772bd6040a
commit 0539aae221
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
apps/system/components/kata-os-common/src/sel4-sys/lib.rs
View File

@@ -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 }
}