Type Definition __kernel_clock_t
vfio_bindings::bindings::vfio
type __kernel_clock_t = __kernel_long_t;