# CONFIG_UNINLINE_SPIN_UNLOCK is not set
