Constant IOCTL_KGSL_DEVICE_WAITTIMESTAMP_CTXTID 

pub const IOCTL_KGSL_DEVICE_WAITTIMESTAMP_CTXTID: __u32 = 1074530567;