use libc::c_int;
extern "C" {
pub fn atc_cuda_device_count() -> c_int;
pub fn atc_cuda_is_available() -> c_int;
pub fn atc_cudnn_is_available() -> c_int;
pub fn atc_manual_seed(seed: u64);
pub fn atc_manual_seed_all(seed: u64);
pub fn atc_synchronize(device_index: i64);
pub fn atc_user_enabled_cudnn() -> c_int;
pub fn atc_set_user_enabled_cudnn(b: c_int);
pub fn atc_set_benchmark_cudnn(b: c_int);
}