pub const SYSTEM_LOCK_KW_SPINLOCK_COUNTERS: u64 = 2u64;