[−][src]Type Definition ptrace_do_rs::__kernel_timer_t

type __kernel_timer_t = c_int;