Function EverCrypt_Cipher_chacha20 

pub unsafe extern "C" fn EverCrypt_Cipher_chacha20(
    len: u32,
    dst: *mut u8,
    src: *mut u8,
    key: *mut u8,
    iv: *mut u8,
    ctr: u32,
)