pub const NUM_SPINLOCK_SEMAPHORES: u32 = 128;