sel4_
sys
0.1.0
sel4_sys
Function
seL4_DebugCapIdentify
Copy item path
Source
pub fn seL4_DebugCapIdentify(cap:
seL4_CPtr
) ->
seL4_Uint32