SIRF Hardware Spinlock device

modulename: sirf_hwspinlock.ko

configname: CONFIG_HWSPINLOCK_SIRF

Linux Kernel Configuration
└─>Device Drivers
└─>Hardware Spinlock drivers
└─>SIRF Hardware Spinlock device
In linux kernel since version 3.10 (release Date: 2013-06-30)  
Say y here to support the SIRF Hardware Spinlock device, which
provides a synchronisation mechanism for the various processors
on the SoC.

It's safe to say n here if you're not interested in SIRF hardware
spinlock or just want a bare minimum kernel.

source code: