Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 fedata 4096-ptr_max
PARAM_VALUE 1 fedata->socket_lock.first_waiter->list.next 5349227543279349760
PARAM_VALUE 1 fedata->socket_lock.first_waiter->list.prev 5349227543279349760
PARAM_VALUE 1 fedata->socket_lock.first_waiter->list.prev->next 5349227543279349760
PARAM_VALUE 1 fedata->socket_lock.first_waiter->up 0
PARAM_VALUE 1 fedata->socket_lock.lock.dep_map->name 0-255
PARAM_VALUE 1 fedata->socket_lock.lock.owner (-1)
PARAM_VALUE 1 fedata->socket_lock.lock.owner_cpu u32max
PARAM_VALUE 2 mappass 4096-ptr_max
BUF_SIZE 1 fedata s32min-(-2),1-s32max
BUF_SIZE 1 fedata s32min-(-2),1-s32max
CAPPED_DATA 1 &fedata->socket_mappings 1
CAPPED_DATA 2 mappass->id 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 2 mappass r radix_tree_deref_slot
PARAM_COMPARE 0 dev->dev.driver_data == $1
PARAM_COMPARE 1 fedata == $0->dev.driver_data
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 fedata unit_byte
LOCK2 global &pvcalls_back_global.frontends_lock
LOCK2 1 &fedata->socket_lock
HALF_LOCKED2 global &xenwatch_mutex
TYPE_LOCK (struct pvcalls_back_global)->frontends_lock
TYPE_LOCK (struct pvcalls_fedata)->socket_lock

drivers/xen/pvcalls-back.c pvcalls_back_release() -> pvcalls_back_release_passive()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 fedata 4096-ptr_max
PARAM_VALUE 1 fedata->socket_lock.first_waiter->up 1
PARAM_VALUE 1 fedata->socket_lock.last_holder 0
PARAM_VALUE 1 fedata->socket_lock.lock.dep_map->name 0-255
PARAM_VALUE 1 fedata->socket_lock.lock.owner (-1)
PARAM_VALUE 1 fedata->socket_lock.lock.owner_cpu u32max
PARAM_VALUE 2 mappass 4096-ptr_max
BUF_SIZE 1 fedata s32min-(-2),1-s32max
BUF_SIZE 1 fedata s32min-(-2),1-s32max
CAPPED_DATA 1 &fedata->socket_mappings 1
CAPPED_DATA 2 mappass->id 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 2 mappass r radix_tree_lookup
PARAM_COMPARE 0 dev->dev.driver_data == $1
PARAM_COMPARE 1 fedata == $0->dev.driver_data
RX_PATH
TASK_NOT_RUNNING
UNITS 1 fedata unit_byte
HALF_LOCKED2 _T->lock