Function EverCrypt_Hash_update_multi 

pub unsafe extern "C" fn EverCrypt_Hash_update_multi(
    s: *mut EverCrypt_Hash_state_s,
    blocks: *mut u8,
    len: u32,
)