Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/dax.c dax_insert_entry() -> dax_lock_entry()

Type Parameter Key Value
PARAM_VALUE 0 xas 538607196269289472,2804297901316567040
PARAM_VALUE 0 xas->xa 4096-ptr_max
PARAM_VALUE 0 xas->xa_node 3
PARAM_VALUE 1 entry 1,3-u64max
DATA_SOURCE 0 xas $0
DATA_SOURCE 1 entry r dax_make_entry
NOSPEC 0 xas->xa_index
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 xas->xa_index 0-4503599627370495
USER_DATA 0 xas->xa_offset 0-255
LOCK2 &(xas->xa)->xa_lock
LOCK2 irq
HALF_LOCKED2 &inode->i_mapping->invalidate_lock
HALF_LOCKED2 &mapping->invalidate_lock

fs/dax.c dax_insert_pfn_mkwrite() -> dax_lock_entry()

Type Parameter Key Value
PARAM_VALUE 0 xas 4096-ptr_max
PARAM_VALUE 0 xas->xa 4096-ptr_max
PARAM_VALUE 0 xas->xa_alloc 0
PARAM_VALUE 0 xas->xa_lru 0
PARAM_VALUE 0 xas->xa_node 0,4096-ptr_max
PARAM_VALUE 0 xas->xa_pad 0
PARAM_VALUE 0 xas->xa_shift 1-18
PARAM_VALUE 1 entry 1-u64max
CAPPED_DATA 1 entry 1
DATA_SOURCE 1 entry r get_next_unlocked_entry
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &((&xas)->xa)->xa_lock
LOCK2 irq
HALF_LOCKED2 &inode->i_mapping->invalidate_lock
HALF_LOCKED2 &mapping->invalidate_lock

fs/dax.c dax_lock_folio() -> dax_lock_entry()

Type Parameter Key Value
PARAM_VALUE 0 xas 4096-ptr_max
PARAM_VALUE 0 xas->xa 4096-ptr_max
PARAM_VALUE 0 xas->xa_alloc 0
PARAM_VALUE 0 xas->xa_lru 0
PARAM_VALUE 0 xas->xa_node 0-1,4096-ptr_max
PARAM_VALUE 0 xas->xa_pad 0
PARAM_VALUE 0 xas->xa_shift 0
PARAM_VALUE 0 xas->xa_sibs 0
DATA_SOURCE 1 entry r xas_load
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &((&xas)->xa)->xa_lock
LOCK2 global &mf_mutex
LOCK2 irq
LOCK2 rcu_read
HALF_LOCKED2 &attr->mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock

fs/dax.c dax_lock_mapping_entry() -> dax_lock_entry()

Type Parameter Key Value
PARAM_VALUE 0 xas 4096-ptr_max
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 0-1,4096-ptr_max
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 r xas_load
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &((&xas)->xa)->xa_lock
LOCK2 irq
LOCK2 rcu_read

fs/dax.c dax_writeback_one() -> dax_lock_entry()

Type Parameter Key Value
PARAM_VALUE 0 xas 4096-ptr_max
PARAM_VALUE 0 xas->xa_node 0-1,3-u64max
PARAM_VALUE 1 entry 1-u64max
DATA_SOURCE 0 xas $0
DATA_SOURCE 1 entry $3 [m]
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 xas->xa_index 0-u64max[c]
USER_DATA 0 xas->xa_offset 0-255
LOCK2 &((&xas)->xa)->xa_lock
LOCK2 irq
HALF_LOCKED2 &mapping->invalidate_lock

fs/dax.c grab_mapping_entry() -> dax_lock_entry()

Type Parameter Key Value
PARAM_VALUE 0 xas 538607196269289472,2804297901316567040
PARAM_VALUE 0 xas->xa 4096-ptr_max
PARAM_VALUE 0 xas->xa_alloc 0,4096-ptr_max
PARAM_VALUE 0 xas->xa_alloc->parent 0
PARAM_VALUE 0 xas->xa_node 0,4096-ptr_max
PARAM_VALUE 1 entry 1-u64max
CAPPED_DATA 1 entry 1
DATA_SOURCE 0 xas $0
DATA_SOURCE 1 entry r get_next_unlocked_entry
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 xas->xa_index 0-4503599627370495
USER_DATA 0 xas->xa_offset 0-255
LOCK2 &(xas->xa)->xa_lock
LOCK2 irq
HALF_LOCKED2 &inode->i_mapping->invalidate_lock
HALF_LOCKED2 &mapping->invalidate_lock

fs/dax.c grab_mapping_entry() -> dax_lock_entry()

Type Parameter Key Value
PARAM_VALUE 0 xas 538607196269289472,2804297901316567040
PARAM_VALUE 0 xas->xa 4096-ptr_max
PARAM_VALUE 0 xas->xa_alloc 0,4096-ptr_max
PARAM_VALUE 0 xas->xa_alloc->parent 0
PARAM_VALUE 0 xas->xa_node 0,4096-ptr_max
PARAM_VALUE 1 entry 1-u64max
CAPPED_DATA 1 entry 1
DATA_SOURCE 0 xas $0
DATA_SOURCE 1 entry r get_next_unlocked_entry
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 xas->xa_index 0-4503599627370495
USER_DATA 0 xas->xa_offset 0-255
LOCK2 &(xas->xa)->xa_lock
LOCK2 irq
HALF_LOCKED2 &inode->i_mapping->invalidate_lock
HALF_LOCKED2 &mapping->invalidate_lock

fs/dax.c grab_mapping_entry() -> dax_lock_entry()

Type Parameter Key Value
PARAM_VALUE 0 xas 538607196269289472,2804297901316567040
PARAM_VALUE 0 xas->xa_alloc->parent 0
PARAM_VALUE 0 xas->xa_node 0-1,3,4096-ptr_max
PARAM_VALUE 1 entry 1,3-u64max
DATA_SOURCE 0 xas $0
DATA_SOURCE 1 entry r dax_make_entry
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 xas->xa_index 0-4503599627370495
USER_DATA 0 xas->xa_offset 0-255
LOCK2 &(xas->xa)->xa_lock
LOCK2 irq
HALF_LOCKED2 &inode->i_mapping->invalidate_lock
HALF_LOCKED2 &mapping->invalidate_lock