# CONFIG_HWSPINLOCK is not set
