github/sparrow-kata-full
1
0
Fork 0
mirror of https://github.com/AmbiML/sparrow-kata-full.git synced 2025-07-14 14:34:19 +00:00
Code Issues Projects Releases Wiki Activity

Merge "sel4-sys: add ObjectType sizing"

Browse Source 
GitOrigin-RevId: 6484fdbf5e7fe9c004ed436debffa97bcc84c971
This commit is contained in:
Sam Leffler 2022-04-01 23:10:08 +00:00
parent 0088925a43
commit a4a1ca9556
1 changed files with 31 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

31
apps/system/components/kata-os-common/src/sel4-sys/arch/riscv.rs
View File

@ -30,6 +30,9 @@ pub const seL4_NotificationBits: usize = 5;
#[cfg(not(feature = "CONFIG_KERNEL_MCS"))]
pub const seL4_NotificationBits: usize = 4;
pub const seL4_MinUntypedBits: usize = 4;
pub const seL4_MaxUntypedBits: usize = 29;
pub type seL4_RISCV_Page = seL4_CPtr;
pub type seL4_RISCV_PageTable = seL4_CPtr;
pub type seL4_RISCV_ASIDControl = seL4_CPtr;
@ -109,6 +112,34 @@ pub enum seL4_ObjectType {
seL4_LastObjectType,
}
impl seL4_ObjectType {
// Returns the log2 size of fixed-size objects; typically for use
// with seL4_Retype_Untyped. seL4_UntypedObject has no fixed-size,
// callers must specify a size. seL4_CapTableObject has a per-slot
// fixed-size that callers must scale by the #slots.
// seL4_SchedContextObject size must be in the range
// [seL4_MinSchedContextBits..seL4_MaxSchedContextBits].
pub fn size_bits(&self) -> Option<usize> {
match self {
seL4_TCBObject => Some(seL4_TCBBits),
seL4_EndpointObject => Some(seL4_EndpointBits),
seL4_NotificationObject => Some(seL4_EndpointBits),
seL4_ReplyObject => Some(seL4_ReplyBits),
seL4_SchedContextObject => Some(seL4_MinSchedContextBits), // XXX maybe None?
// NB: caller must scale by #slots
seL4_CapTableObject => Some(seL4_SlotBits),
seL4_RISCV_4K_Page => Some(seL4_PageBits),
// NB: Arch_get_ObjectSize uses seL4_PageBits which is the
// same for both 32- and 64-bit systems
seL4_RISCV_PageTableObject => Some(seL4_PageTableBits),
seL4_RISCV_Mega_Page => Some(seL4_LargePageBits),
// seL4_RISCV_Giga_Page => Some(seL4_HugePageBits),
// seL4_RISCV_Tera_Page => Some(seL4_TeraPageBits),
_ => None,
}
}
}
impl From<seL4_ObjectType> for seL4_Word {
fn from(type_: seL4_ObjectType) -> seL4_Word {
type_ as seL4_Word