HelenOS sources

irq_spinlock_pass  201 kernel/generic/include/synch/spinlock.h extern void irq_spinlock_pass(irq_spinlock_t *, irq_spinlock_t *);
irq_spinlock_pass  519 kernel/generic/src/ipc/ipc.c 	irq_spinlock_pass(&TASK->lock, &oldbox->lock);
irq_spinlock_pass  604 kernel/generic/src/ipc/ipc.c 	irq_spinlock_pass(&box->lock, &TASK->lock);