Type Definition nnsdk::common_types::__kernel_timer_t

source · 
pub type __kernel_timer_t = i32;