Type Definition redbpf::sys::perf::__kernel_timer_t

type __kernel_timer_t = c_int;