Documented in 1 files:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/hwspinlock/hwspinlock_core.c of_hwspin_lock_get_id() -> radix_tree_deref_retry()

Type Parameter Key Value
PARAM_VALUE 0 arg 1-u64max
DATA_SOURCE 0 arg r radix_tree_deref_slot
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read
HALF_LOCKED2 global &syscon_list_lock

drivers/xen/pvcalls-back.c backend_disconnect() -> radix_tree_deref_retry()

Type Parameter Key Value
PARAM_VALUE 0 arg 1-u64max
DATA_SOURCE 0 arg r radix_tree_deref_slot
TASK_NOT_RUNNING
LOCK2 &fedata->socket_lock
LOCK2 global &pvcalls_back_global.frontends_lock
HALF_LOCKED2 global &xenwatch_mutex
TYPE_LOCK (struct pvcalls_back_global)->frontends_lock
TYPE_LOCK (struct pvcalls_fedata)->socket_lock