Function EverCrypt_DRBG_instantiate_sha2_512 

pub unsafe extern "C" fn EverCrypt_DRBG_instantiate_sha2_512(
    st: *mut EverCrypt_DRBG_state_s,
    personalization_string: *mut u8,
    personalization_string_len: u32,
) -> bool