Constant KSALLOCATOR_FLAG_DEVICE_SPECIFIC 

pub const KSALLOCATOR_FLAG_DEVICE_SPECIFIC: u32 = 32u32;