Constant SPINLOCK_OWNER_ID_1 

pub const SPINLOCK_OWNER_ID_1: u32 = 43947;