github/sparrow-kata-full
1
0
Fork 0
mirror of https://github.com/AmbiML/sparrow-kata-full.git synced 2025-04-27 18:35:32 +00:00
Code Issues Projects Releases Wiki Activity

kata-os-camkes: add debug_assert_slot_frame

Browse Source 
Change-Id: I07f272d2a63dc605e26ff93cd089bb56169eea2e
GitOrigin-RevId: 6a5966d52eb634c079bbd5c91a67e3aa500dd27d
This commit is contained in:
Sam Leffler 2022-09-14 20:43:20 +00:00
parent 201876492b
commit b446c00783
1 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
apps/system/components/kata-os-common/src/camkes/src/lib.rs
View File

@ -207,6 +207,15 @@ impl Camkes {
sel4_sys::cap_identify(path.1)
);
}
pub fn debug_assert_slot_frame(tag: &str, path: &seL4_CPath) {
sel4_sys::debug_assert_slot_frame!(
path.1,
"{}: expected frame in slot {:?} but found cap type {:?}",
tag,
path,
sel4_sys::cap_identify(path.1)
);
}
// Dumps the contents of the toplevel CNode to the serial console.
pub fn capscan() -> seL4_Result {