Files: /kernel/locking/spinlocks.html