Function EverCrypt_DRBG_generate_sha2_384 

pub unsafe extern "C" fn EverCrypt_DRBG_generate_sha2_384(
    output: *mut u8,
    st: *mut EverCrypt_DRBG_state_s,
    n: u32,
    additional_input: *mut u8,
    additional_input_len: u32,
) -> bool