Function rust_cheri_compressed_cap::c_funcs::cc128_update_reserved [−][src]
pub(crate) unsafe extern "C" fn cc128_update_reserved(
cap: *mut CcxCap<Cc128>,
value: u64
)
pub(crate) unsafe extern "C" fn cc128_update_reserved(
cap: *mut CcxCap<Cc128>,
value: u64
)