Function EverCrypt_Hash_update_multi_256 

pub unsafe extern "C" fn EverCrypt_Hash_update_multi_256(
    s: *mut u32,
    blocks: *mut u8,
    n: u32,
)