Type Definition ptrace_do_rs::__kernel_clock_t

type __kernel_clock_t = __kernel_long_t;