Source position: spinlock.inc line 27
procedure spin_unlock_irqrestore(
lock: pspinlock_t;
isr_level: cuint32
);