[][src]Function hacl_star_sys::sha2_512::Hacl_SHA2_512_update_multi

pub unsafe extern "C" fn Hacl_SHA2_512_update_multi(
    state: *mut u64,
    data: *mut u8,
    n1: u32
)