Function sel4_cspace::deps::Arch_finaliseCap
source · pub unsafe extern "C" fn Arch_finaliseCap(
cap: &cap_t,
final_: bool
) -> finaliseCap_retpub unsafe extern "C" fn Arch_finaliseCap(
cap: &cap_t,
final_: bool
) -> finaliseCap_ret