Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/xen/pvcalls-back.c backend_disconnect() -> radix_tree_exception()
| 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 |