Constant SPIN_LOCK_NOT_OWNED 

pub const SPIN_LOCK_NOT_OWNED: ULONG = 0x00000010;