lib/test_xarray.c

File Facts

System

Linux kernel

Corpus path

lib/test_xarray.c

Extension

.c

Size

60576 bytes

Lines

2279

Domain

Kernel Services

Bucket

lib

Inferred role

Kernel Services: exported/initcall integration point

Status

integration implementation candidate

Why This File Exists

Shared kernel service surface used by multiple subsystems, including helpers, cryptography, virtualization support, and async I/O infrastructure.

• Shared kernel service surface used by multiple subsystems, including helpers, cryptography, virtualization support, and async I/O infrastructure.
• Exports symbols or registers init work; inspect boot/module ordering and who consumes the exported contract.
• 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/xarray.h
• linux/module.h

Detected Declarations

• function xa_dump
• function xa_insert_index
• function xa_alloc_index
• function xa_erase_index
• function check_xa_err
• function check_xas_retry
• function check_xa_load
• function check_xa_mark_1
• function check_xa_mark_2
• function check_xa_mark_3
• function check_xa_mark
• function check_xa_shrink
• function check_insert
• function check_cmpxchg
• function check_cmpxchg_order
• function check_reserve
• function check_xas_erase
• function xas_for_each
• function check_multi_store_1
• function check_multi_store_2
• function check_multi_store_3
• function check_multi_store
• function check_xa_multi_store_adv_add
• function check_xa_multi_store_adv_del_entry
• function check_xa_multi_store_adv_delete
• function check_xa_multi_store_adv
• function check_multi_store_advanced
• function check_xa_alloc_1
• function check_xa_alloc_2
• function xa_for_each
• function check_xa_alloc_3
• function check_xa_alloc
• function __check_store_iter
• function check_store_iter
• function check_multi_find_1
• function check_multi_find_2
• function xas_for_each
• function check_multi_find_3
• function check_find_1
• function check_find_2
• function xa_for_each
• function xa_for_each
• function check_find_3
• function check_find_4
• function check_find
• function xa_find_entry
• function check_find_entry
• function check_pause

Annotated Snippet

module_init(xarray_checks);
module_exit(xarray_exit);
MODULE_AUTHOR("Matthew Wilcox <willy@infradead.org>");
MODULE_DESCRIPTION("XArray API test module");
MODULE_LICENSE("GPL");

Annotation

• Immediate include surface: `linux/xarray.h`, `linux/module.h`.
• Detected declarations: `function xa_dump`, `function xa_insert_index`, `function xa_alloc_index`, `function xa_erase_index`, `function check_xa_err`, `function check_xas_retry`, `function check_xa_load`, `function check_xa_mark_1`, `function check_xa_mark_2`, `function check_xa_mark_3`.
• Atlas domain: Kernel Services / lib.
• Implementation status: integration 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.