1/* SPDX-License-Identifier: GPL-2.0 */
2#ifndef _ASM_X86_SPINLOCK_TYPES_H
3#define _ASM_X86_SPINLOCK_TYPES_H
4
5#include <linux/types.h>
6
7#ifdef CONFIG_PARAVIRT_SPINLOCKS
8#define __TICKET_LOCK_INC 2
9#define TICKET_SLOWPATH_FLAG ((__ticket_t)1)
10#else
11#define __TICKET_LOCK_INC 1
12#define TICKET_SLOWPATH_FLAG ((__ticket_t)0)
13#endif
14
15#if (CONFIG_NR_CPUS < (256 / __TICKET_LOCK_INC))
16typedef u8 __ticket_t;
17typedef u16 __ticketpair_t;
18#else
19typedef u16 __ticket_t;
20typedef u32 __ticketpair_t;
21#endif
22
23#define TICKET_LOCK_INC ((__ticket_t)__TICKET_LOCK_INC)
24
25#define TICKET_SHIFT (sizeof(__ticket_t) * 8)
26
27#include <asm-generic/qspinlock_types.h>
28
29#include <asm-generic/qrwlock_types.h>
30
31#endif /* _ASM_X86_SPINLOCK_TYPES_H */
32