include/linux/xarray.h
Source file repositories/reference/linux-study-clean/include/linux/xarray.h
File Facts
- System
- Linux kernel
- Corpus path
include/linux/xarray.h- Extension
.h- Size
- 59943 bytes
- Lines
- 1916
- Domain
- Core OS
- Bucket
- Core Kernel Interface
- Inferred role
- Core OS: implementation source
- Status
- source implementation candidate
Why This File Exists
Core operating-system implementation surface: boot, tasks, memory, VFS, syscall-facing interfaces, synchronization, credentials, and isolation.
- Core operating-system implementation surface: boot, tasks, memory, VFS, syscall-facing interfaces, synchronization, credentials, and isolation.
- Uses kernel synchronization; read lock ordering, sleepability, and interrupt context assumptions before translating.
- Defines or uses C structs; map object ownership, embedded links, reference counts, and lock ownership.
Dependency Surface
linux/bitmap.hlinux/bug.hlinux/compiler.hlinux/err.hlinux/gfp.hlinux/kconfig.hlinux/limits.hlinux/lockdep.hlinux/rcupdate.hlinux/sched/mm.hlinux/spinlock.hlinux/types.h
Detected Declarations
struct list_lrustruct xa_limitstruct xarraystruct xa_nodestruct xa_stateenum xa_lock_typefunction xa_mk_valuefunction xa_to_valuefunction xa_is_valuefunction xa_tag_pointerfunction xa_untag_pointerfunction xa_pointer_tagfunction xa_mk_internalfunction xa_to_internalfunction xa_is_internalfunction xa_is_zerofunction xa_is_errfunction xa_errfunction xa_init_flagsfunction xa_initfunction xa_emptyfunction xa_markedfunction xa_store_bhfunction xa_store_irqfunction xa_erase_bhfunction xa_erase_irqfunction xa_cmpxchgfunction xa_cmpxchg_bhfunction xa_cmpxchg_irqfunction xa_insertfunction xa_insert_bhfunction xa_insert_irqfunction xa_allocfunction xa_alloc_bhfunction xa_alloc_irqfunction xa_alloc_cyclicfunction xa_alloc_cyclic_bhfunction xa_alloc_cyclic_irqfunction xa_reservefunction xa_reserve_bhfunction xa_reserve_irqfunction xa_releasefunction xa_is_nodefunction xa_to_siblingfunction xa_is_siblingfunction xa_is_retryfunction xa_is_advancedfunction XA_STATE
Annotated Snippet
struct xa_limit {
u32 max;
u32 min;
};
#define XA_LIMIT(_min, _max) (struct xa_limit) { .min = _min, .max = _max }
#define xa_limit_32b XA_LIMIT(0, UINT_MAX)
#define xa_limit_31b XA_LIMIT(0, INT_MAX)
#define xa_limit_16b XA_LIMIT(0, USHRT_MAX)
typedef unsigned __bitwise xa_mark_t;
#define XA_MARK_0 ((__force xa_mark_t)0U)
#define XA_MARK_1 ((__force xa_mark_t)1U)
#define XA_MARK_2 ((__force xa_mark_t)2U)
#define XA_PRESENT ((__force xa_mark_t)8U)
#define XA_MARK_MAX XA_MARK_2
#define XA_FREE_MARK XA_MARK_0
enum xa_lock_type {
XA_LOCK_IRQ = 1,
XA_LOCK_BH = 2,
};
/*
* Values for xa_flags. The radix tree stores its GFP flags in the xa_flags,
* and we remain compatible with that.
*/
#define XA_FLAGS_LOCK_IRQ ((__force gfp_t)XA_LOCK_IRQ)
#define XA_FLAGS_LOCK_BH ((__force gfp_t)XA_LOCK_BH)
#define XA_FLAGS_TRACK_FREE ((__force gfp_t)4U)
#define XA_FLAGS_ZERO_BUSY ((__force gfp_t)8U)
#define XA_FLAGS_ALLOC_WRAPPED ((__force gfp_t)16U)
#define XA_FLAGS_ACCOUNT ((__force gfp_t)32U)
#define XA_FLAGS_MARK(mark) ((__force gfp_t)((1U << __GFP_BITS_SHIFT) << \
(__force unsigned)(mark)))
/* ALLOC is for a normal 0-based alloc. ALLOC1 is for an 1-based alloc */
#define XA_FLAGS_ALLOC (XA_FLAGS_TRACK_FREE | XA_FLAGS_MARK(XA_FREE_MARK))
#define XA_FLAGS_ALLOC1 (XA_FLAGS_TRACK_FREE | XA_FLAGS_ZERO_BUSY)
/**
* struct xarray - The anchor of the XArray.
* @xa_lock: Lock that protects the contents of the XArray.
*
* To use the xarray, define it statically or embed it in your data structure.
* It is a very small data structure, so it does not usually make sense to
* allocate it separately and keep a pointer to it in your data structure.
*
* You may use the xa_lock to protect your own data structures as well.
*/
/*
* If all of the entries in the array are NULL, @xa_head is a NULL pointer.
* If the only non-NULL entry in the array is at index 0, @xa_head is that
* entry. If any other entry in the array is non-NULL, @xa_head points
* to an @xa_node.
*/
struct xarray {
spinlock_t xa_lock;
/* private: The rest of the data structure is not to be used directly. */
gfp_t xa_flags;
void __rcu * xa_head;
};
#define XARRAY_INIT(name, flags) { \
.xa_lock = __SPIN_LOCK_UNLOCKED(name.xa_lock), \
.xa_flags = flags, \
.xa_head = NULL, \
}
/**
* DEFINE_XARRAY_FLAGS() - Define an XArray with custom flags.
* @name: A string that names your XArray.
* @flags: XA_FLAG values.
*
* This is intended for file scope definitions of XArrays. It declares
* and initialises an empty XArray with the chosen name and flags. It is
* equivalent to calling xa_init_flags() on the array, but it does the
* initialisation at compiletime instead of runtime.
*/
#define DEFINE_XARRAY_FLAGS(name, flags) \
struct xarray name = XARRAY_INIT(name, flags)
/**
* DEFINE_XARRAY() - Define an XArray.
* @name: A string that names your XArray.
*
* This is intended for file scope definitions of XArrays. It declares
* and initialises an empty XArray with the chosen name. It is equivalent
* to calling xa_init() on the array, but it does the initialisation at
Annotation
- Immediate include surface: `linux/bitmap.h`, `linux/bug.h`, `linux/compiler.h`, `linux/err.h`, `linux/gfp.h`, `linux/kconfig.h`, `linux/limits.h`, `linux/lockdep.h`.
- Detected declarations: `struct list_lru`, `struct xa_limit`, `struct xarray`, `struct xa_node`, `struct xa_state`, `enum xa_lock_type`, `function xa_mk_value`, `function xa_to_value`, `function xa_is_value`, `function xa_tag_pointer`.
- Atlas domain: Core OS / Core Kernel Interface.
- Implementation status: source implementation candidate.
- Synchronization appears in or near this file; preserve lock ordering, sleepability, and interrupt-context constraints.
Implementation Notes
- This generated page is the file-by-file coverage layer; curated subsystem chapters should link here when they synthesize a multi-file control flow.
- Core OS pages should be promoted from atlas-only to deep-reviewed when they explain data structures, invariants, locking, lifecycle, and C implementation snippets.
- Driver-family pages are intentionally pattern-oriented unless they are part of the selected PCIe/NVMe representative device path.