Constant IOCTL_KGSL_DEVICE_GETPROPERTY 

pub const IOCTL_KGSL_DEVICE_GETPROPERTY: __u32 = 3222800642;