Type Definition kvm_bindings::__kernel_timer_t

type __kernel_timer_t = c_int;