add: if (!kernel_startup && !are_interrupts_enabled()) panic("recursive_lock_lock: called with interrupts disabled for lock %p, sem %#lx\n", lock, lock->sem);
context: recursive_lock_lock(recursive_lock *lock){	thread_id thid = thread_get_current_thread_id();	bool retval = false;		if (thid != lock->holder) {		acquire_sem(lock->sem);				lock->holder = thid;		retval = true;	}	lock->recursion++;	return retval;}