STM32 Hardware Spinlock device

modulename: stm32_hwspinlock.ko

configname: CONFIG_HWSPINLOCK_STM32

Linux Kernel Configuration
└─>Device Drivers
└─>Hardware Spinlock drivers
└─>STM32 Hardware Spinlock device
In linux kernel since version 5 (release Date: 2019-03-03)  
Say y here to support the STM32 Hardware Spinlock device.

If unsure, say N.

source code:
depends
CONFIG_HWSPINLOCK
CONFIG_COMPILE_TEST or CONFIG_MACH_STM32MP157