Constant DRIVER_ID_ARM_PROPRIETARY 

pub const DRIVER_ID_ARM_PROPRIETARY: i32 = 9;