☰
In sel4_cspace::deps
?
Function
sel4_cspace
::
deps
::
post_cap_deletion
source
·
[
−
]
pub unsafe extern "C" fn post_cap_deletion(cap: &
cap_t
)