in stm32_hwspinlock.c [39:44]
static void stm32_hwspinlock_unlock(struct hwspinlock *lock) { void __iomem *lock_addr = lock->priv; writel(STM32_MUTEX_COREID, lock_addr); }