pub const HAVE_SPINLOCKS: u32 = 1;