Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/dax.c dax_insert_pfn_mkwrite() -> dax_unlock_entry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xas | 4096-ptr_max |
| PARAM_VALUE | 1 | entry | 1-u64max |
| CAPPED_DATA | 1 | entry | 1 |
| DATA_SOURCE | 1 | entry | r get_next_unlocked_entry |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &inode->i_mapping->invalidate_lock | ||
| HALF_LOCKED2 | &mapping->invalidate_lock |
fs/dax.c dax_iomap_pmd_fault() -> dax_unlock_entry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xas | 538607196269289472 |
| NOSPEC | 0 | xas->xa_index | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | xas->xa_index | 0-4503599627370495 |
| USER_DATA | 0 | xas->xa_offset | 0-255 |
| HALF_LOCKED2 | &inode->i_mapping->invalidate_lock | ||
| HALF_LOCKED2 | &mapping->invalidate_lock |
fs/dax.c dax_iomap_pte_fault() -> dax_unlock_entry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xas | 2804297901316567040 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | xas->xa_index | 0-4503599627370495 |
| USER_DATA | 0 | xas->xa_offset | 0-255 |
| HALF_LOCKED2 | &inode->i_mapping->invalidate_lock | ||
| HALF_LOCKED2 | &mapping->invalidate_lock |
fs/dax.c dax_unlock_folio() -> dax_unlock_entry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xas | 4934795515559895040 |
| PARAM_VALUE | 0 | xas->xa | 8,4096-ptr_max |
| PARAM_VALUE | 0 | xas->xa_alloc | 0 |
| PARAM_VALUE | 0 | xas->xa_lru | 0 |
| PARAM_VALUE | 0 | xas->xa_node | 3 |
| PARAM_VALUE | 0 | xas->xa_offset | 0 |
| PARAM_VALUE | 0 | xas->xa_pad | 0 |
| PARAM_VALUE | 0 | xas->xa_shift | 0 |
| PARAM_VALUE | 0 | xas->xa_sibs | 0 |
| PARAM_VALUE | 1 | entry | 1-u64max |
| DATA_SOURCE | 1 | entry | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &mf_mutex | ||
| HALF_LOCKED2 | &attr->mutex | ||
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | &pool->lock |
fs/dax.c dax_unlock_mapping_entry() -> dax_unlock_entry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xas | 3857282946125451264 |
| PARAM_VALUE | 0 | xas->xa | 4096-ptr_max |
| PARAM_VALUE | 0 | xas->xa_alloc | 0 |
| PARAM_VALUE | 0 | xas->xa_index | 0-18446744073709551614 |
| PARAM_VALUE | 0 | xas->xa_lru | 0 |
| PARAM_VALUE | 0 | xas->xa_node | 3 |
| PARAM_VALUE | 0 | xas->xa_offset | 0 |
| PARAM_VALUE | 0 | xas->xa_pad | 0 |
| PARAM_VALUE | 0 | xas->xa_shift | 0 |
| PARAM_VALUE | 0 | xas->xa_sibs | 0 |
| PARAM_VALUE | 1 | entry | 1-18446744073709551614 |
| DATA_SOURCE | 1 | entry | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |