Constant __Vendor_SysTickConfig

pub const __Vendor_SysTickConfig: u32 = 0;