Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
DATA_SOURCE 0 entry r xas_load
RX_PATH
TASK_NOT_RUNNING
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_is_locked()

Type Parameter Key Value
DATA_SOURCE 0 entry r xas_load
RX_PATH
TASK_NOT_RUNNING
LOCK2 &((&xas)->xa)->xa_lock
LOCK2 irq
LOCK2 rcu_read

fs/dax.c dax_unlock_entry() -> dax_is_locked()

Type Parameter Key Value
DATA_SOURCE 0 entry $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &mf_mutex

fs/dax.c dax_unlock_entry() -> dax_is_locked()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &mf_mutex

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

Type Parameter Key Value
PARAM_VALUE 0 entry 1-u64max
DATA_SOURCE 0 entry $3
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &((&xas)->xa)->xa_lock
LOCK2 irq
HALF_LOCKED2 &mapping->invalidate_lock

fs/dax.c get_next_unlocked_entry() -> dax_is_locked()

Type Parameter Key Value
PARAM_VALUE 0 entry 1-u64max
DATA_SOURCE 0 entry r xas_find_conflict
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 irq
HALF_LOCKED2 &((&xas)->xa)->xa_lock
HALF_LOCKED2 &(xas->xa)->xa_lock
HALF_LOCKED2 &(xas->xa)->xa_lock
HALF_LOCKED2 &mapping->invalidate_lock

fs/dax.c wait_entry_unlocked_exclusive() -> dax_is_locked()

Type Parameter Key Value
DATA_SOURCE 0 entry $1 [m]
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &((&xas)->xa)->xa_lock
LOCK2 irq
HALF_LOCKED2 &(xas->xa)->xa_lock

fs/dax.c wait_entry_unlocked_exclusive() -> dax_is_locked()

Type Parameter Key Value
DATA_SOURCE 0 entry r xas_load
PREEMPT_ADD
RX_PATH
LOCK2 &((&xas)->xa)->xa_lock
LOCK2 &(xas->xa)->xa_lock
LOCK2 irq