# CONFIG_RISCV_TICKET_SPINLOCKS is not set
