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-cmakes: add get_request_cap

Browse Source 
Change-Id: I53ef53d4b75150b67dd06062ac6c0f2d34a339c2
GitOrigin-RevId: f3ad14def755ad21b40a03f9020aa8cf3af39652
This commit is contained in:
Sam Leffler 2022-09-16 18:01:52 +00:00
parent ecf7592adb
commit 24975a813e
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -25,6 +25,7 @@ use slot_allocator::KATA_CSPACE_SLOTS;
use sel4_sys::seL4_CNode_Delete;
use sel4_sys::seL4_CPtr;
use sel4_sys::seL4_GetCap;
use sel4_sys::seL4_GetCapReceivePath;
use sel4_sys::seL4_Result;
use sel4_sys::seL4_SetCap;
@ -163,6 +164,9 @@ impl Camkes {
RequestCapCleanup {}
}
// Returns the capability attached to an seL4 IPC.
pub fn get_request_cap() -> seL4_CPtr { unsafe { seL4_GetCap(0) } }
// Attaches a capability to a CAmkES RPC reply msg. seL4 will copy
// the capabiltiy.
pub fn set_reply_cap(cptr: seL4_CPtr) {