Constant IOCTL_KGSL_CMDSTREAM_READTIMESTAMP_CTXTID 

pub const IOCTL_KGSL_CMDSTREAM_READTIMESTAMP_CTXTID: __u32 = 3222014230;