CONFIG_HWSPINLOCK (not configurable)

modulename: hwspinlock_core.ko

configname: CONFIG_HWSPINLOCK

Linux Kernel Configuration
└─>Device Drivers
└─>HWSPINLOCK
In linux kernel since version 2.6.39 (release Date: 2011-05-18)  
source code:
drivers/hwspinlock/hwspinlock_core.c