Constant SPINLOCK_OWNER_ID_0 

pub const SPINLOCK_OWNER_ID_0: u32 = 52685;