Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 6 files:
- arch/x86/kernel/cpu/sgx/main.c, line 646
- lib/test_xarray.c
- lib/xarray.c, line 1909
- mm/memremap.c
- sound/core/control.c, line 409
- virt/kvm/guest_memfd.c
Smatch caller information:
arch/x86/kvm/../../../virt/kvm/guest_memfd.c __kvm_gmem_unbind() -> xa_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 4096-ptr_max |
| PARAM_VALUE | 3 | entry | 0 |
| PARAM_VALUE | 4 | gfp | 3264 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | first | 0-524287[c] |
| USER_DATA | 2 | last | 0-4503599627894781,u64max |
| UNITS | 1 | first | unit_page |
| UNITS | 2 | last | unit_page |
| HALF_LOCKED2 | &file->f_mapping->invalidate_lock |
arch/x86/kvm/../../../virt/kvm/guest_memfd.c kvm_gmem_bind() -> xa_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 4096-ptr_max |
| PARAM_VALUE | 2 | last | 0-9007199254740989,u64max |
| PARAM_VALUE | 3 | entry | 4096-ptr_max |
| PARAM_VALUE | 4 | gfp | 3264 |
| BUF_SIZE | 3 | entry | 280 |
| DATA_SOURCE | 3 | entry | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | first | 0-524287[c] |
| USER_DATA | 2 | last | 0-4503599627894781,u64max |
| UNITS | 1 | first | unit_page |
| UNITS | 2 | last | unit_page |
| LOCK2 | &inode->i_mapping->invalidate_lock | ||
| HALF_LOCKED2 | &kvm->lock | ||
| HALF_LOCKED2 | &kvm->slots_lock | ||
| HALF_LOCKED2 | _T->lock | ||
| TYPE_LOCK | (struct address_space)->invalidate_lock |
arch/x86/kernel/cpu/sgx/main.c sgx_setup_epc_section() -> xa_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 7705485454259396608 |
| PARAM_VALUE | 1 | first | 0,4294967296-4503595332403200 |
| PARAM_VALUE | 2 | last | 4095-4294963199,u32max-9007194959769599,u64max |
| PARAM_VALUE | 3 | entry | 4096-ptr_max |
| PARAM_VALUE | 4 | gfp | 3264 |
| CAPPED_DATA | 1 | first | 1 |
| CAPPED_DATA | 1 | first | 1 |
| DATA_SOURCE | 1 | first | $0 |
| DATA_SOURCE | 3 | entry | $3 |
| NOCHECK_CALL | |||
| HOST_DATA | 1 | first | 0,4294967296-4503595332403200[c] |
| HOST_DATA | 2 | last | 4095-4294963199,u32max-9007194959769599,u64max[c] |
| UNITS | 2 | last | unit_byte |
sound/core/control.c add_hash_entries() -> xa_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 4096-ptr_max |
| PARAM_VALUE | 2 | last | 0-u32max |
| PARAM_VALUE | 3 | entry | 4096-ptr_max |
| PARAM_VALUE | 4 | gfp | 3264 |
| DATA_SOURCE | 3 | entry | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | first | unit_array_size |
| LOCK2 | _T->lock |
mm/memremap.c pagemap_range() -> xa_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 2656381942806073344 |
| PARAM_VALUE | 1 | first | 0-4503599627370495 |
| PARAM_VALUE | 2 | last | 0-4503599627370495 |
| PARAM_VALUE | 3 | entry | 4096-ptr_max |
| PARAM_VALUE | 4 | gfp | 3264 |
| BUF_SIZE | 3 | entry | (-1),216 |
| DATA_SOURCE | 3 | entry | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &mdevice->devmem_lock | ||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | global &list_lock |
mm/memremap.c pgmap_array_delete() -> xa_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 2656381942806073344 |
| PARAM_VALUE | 1 | first | 0-4503599627370495 |
| PARAM_VALUE | 2 | last | 0-4503599627370495 |
| PARAM_VALUE | 3 | entry | 0 |
| PARAM_VALUE | 4 | gfp | 3264 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &mdevice->devmem_lock |
lib/test_xarray.c __check_store_range() -> xa_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 5024146686711472128 |
| PARAM_VALUE | 0 | xa->xa_head | 0 |
| PARAM_VALUE | 1 | first | 0-255,4095-4223,123456-123583,16777216-16777343 |
| PARAM_VALUE | 2 | last | 0-255,4095-4223,123456-123583,16777216-16777343 |
| PARAM_VALUE | 3 | entry | 1,3-u64max |
| PARAM_VALUE | 4 | gfp | 3264 |
| CAPPED_DATA | 1 | first | 1 |
| CAPPED_DATA | 1 | first | 1 |
| DATA_SOURCE | 0 | xa | $0 |
| DATA_SOURCE | 1 | first | $1 |
| DATA_SOURCE | 2 | last | $2 |
| FUZZY_MAX | 1 | first | 127 |
| NOCHECK_CALL |
lib/test_xarray.c __check_store_range() -> xa_store_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xa | 5024146686711472128 |
| PARAM_VALUE | 0 | xa->xa_head | 0 |
| PARAM_VALUE | 1 | first | 0-255,4095-4223,123456-123583,16777216-16777343 |
| PARAM_VALUE | 2 | last | 0-255,4095-4223,123456-123583,16777216-16777343 |
| PARAM_VALUE | 3 | entry | 0 |
| PARAM_VALUE | 4 | gfp | 3264 |
| CAPPED_DATA | 1 | first | 1 |
| CAPPED_DATA | 1 | first | 1 |
| CAPPED_DATA | 2 | last | 1 |
| CAPPED_DATA | 2 | last | 1 |
| DATA_SOURCE | 0 | xa | $0 |
| DATA_SOURCE | 1 | first | $1 |
| DATA_SOURCE | 2 | last | $2 |
| FUZZY_MAX | 1 | first | 127 |
| NOCHECK_CALL |