kernel: a Spinlock can now be acquired multiple times by the same thread. It must be released the same number of times in order to actually release the critical section.