microkit_
ipc_
client
0.1.0
Function
microkit_ipc_client
::
__sel4_microkit__main
Copy item path
source
ยท
[
−
]
#[no_mangle] pub(crate) fn __sel4_microkit__main() -> !