add: } else { #if DEBUG_SPINLOCKS if (are_interrupts_enabled()) panic("acquire_spinlock_nocheck: attempt to acquire lock %p with interrupts enabled\n", lock); if (atomic_set((int32 *)lock, 1) != 0) panic("acquire_spinlock_nocheck: attempt to acquire lock %p twice on non-SMP system\n", lock); #endif
context: acquire_spinlock_nocheck(spinlock *lock){	if (smp_num_cpus > 1) {		while (1) {			while(*lock != 0)				;			if (atomic_set((int32 *)lock, 1) == 0)				break;		}	}}