Constant KGSL_PROP_VK_DEVICE_ID 

pub const KGSL_PROP_VK_DEVICE_ID: u32 = 42;