menu "HW SPINLOCK Devices"
config DRIVERS_HWSPINLOCK
bool "enable hwspinlock driver"
default n
endmenu