Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/dax.c __dax_invalidate_entry() -> get_next_unlocked_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 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 order 0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 &((&xas)->xa)->xa_lock
LOCK2 irq
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &mapping->host->i_rwsem
HALF_LOCKED2 &mapping->invalidate_lock
HALF_LOCKED2 &sbi->cp_global_sem.internal_rwsem

fs/dax.c dax_insert_pfn_mkwrite() -> get_next_unlocked_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 3
PARAM_VALUE 0 xas->xa_offset 0
PARAM_VALUE 0 xas->xa_pad 0
PARAM_VALUE 0 xas->xa_shift 1-18
PARAM_VALUE 1 order 0,9,18
DATA_SOURCE 1 order $2
HARD_MAX 1 order 18
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 &((&xas)->xa)->xa_lock
LOCK2 irq
HALF_LOCKED2 &inode->i_mapping->invalidate_lock
HALF_LOCKED2 &mapping->invalidate_lock

fs/dax.c dax_writeback_one() -> get_next_unlocked_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 order 0
DATA_SOURCE 0 xas $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
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() -> get_next_unlocked_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 3
PARAM_VALUE 1 order 0,9
CAPPED_DATA 1 order 1
DATA_SOURCE 0 xas $0
DATA_SOURCE 1 order $2
HARD_MAX 1 order 9
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