Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 8 files:
- drivers/block/xen-blkback/xenbus.c
- drivers/char/tpm/xen-tpmfront.c, line 317
- drivers/gpu/drm/xen/xen_drm_front_evtchnl.c
- drivers/pci/xen-pcifront.c, line 814
- drivers/scsi/xen-scsifront.c
- drivers/xen/xen-scsiback.c
- drivers/xen/xenbus/xenbus_client.c
- drivers/xen/xenbus/xenbus_probe.c, line 334
Smatch caller information:
drivers/gpu/drm/xen/xen_drm_front_evtchnl.c evtchnl_publish() -> xenbus_dev_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | err | (-4095)-(-1) |
| PARAM_VALUE | 2 | fmt | 6162055372604964864 |
| BUF_SIZE | 2 | fmt | 17 |
| DATA_SOURCE | 1 | err | r xenbus_printf |
| STR_LEN | 0 | dev | 16 |
| BIT_INFO | 1 | err | 0x0,0x0 |
| TERMINATED | 2 | fmt | 1 |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &xenwatch_mutex |
drivers/gpu/drm/xen/xen_drm_front_evtchnl.c evtchnl_publish() -> xenbus_dev_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | err | (-4095)-(-1) |
| PARAM_VALUE | 2 | fmt | 5449678936004050944 |
| BUF_SIZE | 2 | fmt | 22 |
| DATA_SOURCE | 1 | err | r xenbus_printf |
| STR_LEN | 0 | dev | 21 |
| BIT_INFO | 1 | err | 0x0,0x0 |
| TERMINATED | 2 | fmt | 1 |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &xenwatch_mutex |
drivers/char/tpm/xen-tpmfront.c setup_ring() -> xenbus_dev_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.driver_data | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->otherend_watch.node | 0 |
| PARAM_VALUE | 0 | dev->otherend_watch.nr_pending | 0 |
| PARAM_VALUE | 0 | dev->reclaim_sem.first_waiter->up | 0-1 |
| PARAM_VALUE | 1 | err | (-4095)-(-1) |
| PARAM_VALUE | 2 | fmt | 8347350738675638272 |
| PARAM_VALUE | 3 | $ | 3218849028425809920,5525368466960449536,6162055372604964864 |
| BUF_SIZE | 2 | fmt | 3 |
| BUF_SIZE | 3 | $ | 17,22,28 |
| BUF_SIZE | 3 | $ | 17,22,28 |
| DATA_SOURCE | 0 | dev | $0 |
| STR_LEN | 0 | dev | 2 |
| STR_LEN | 1 | err | 16,21,27 |
| STR_LEN | 3 | $ | 16,21,27 |
| BIT_INFO | 1 | err | 0x0,0x0 |
| BIT_INFO | 3 | $ | 0x480040000400000,0x7dafafffbefe8000 |
| BIT_INFO | 3 | $ | 0x480040000400000,0x7dafafffbefe8000 |
| TERMINATED | 2 | fmt | 1 |
| TERMINATED | 3 | $ | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | 0 | &dev->reclaim_sem |
drivers/xen/xen-scsiback.c scsiback_do_1lun_hotplug() -> xenbus_dev_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | err | (-4095)-(-1) |
| PARAM_VALUE | 2 | fmt | 1868739818174808064 |
| PARAM_VALUE | 4 | $ | 1203119805161242624 |
| BUF_SIZE | 2 | fmt | 15 |
| BUF_SIZE | 3 | $ | 25 |
| BUF_SIZE | 4 | $ | 64 |
| DATA_SOURCE | 1 | err | r xenbus_printf |
| STR_LEN | 0 | dev | 14 |
| STR_LEN | 1 | err | 63 |
| STR_LEN | 4 | $ | 63 |
| BIT_INFO | 1 | err | 0x0,0x0 |
| TERMINATED | 2 | fmt | 1 |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &xenwatch_mutex |
drivers/xen/xen-scsiback.c scsiback_do_1lun_hotplug() -> xenbus_dev_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | err | (-4095)-(-1) |
| PARAM_VALUE | 2 | fmt | 1868739818174808064 |
| PARAM_VALUE | 4 | $ | 1203119805161242624 |
| BUF_SIZE | 2 | fmt | 15 |
| BUF_SIZE | 3 | $ | 25 |
| BUF_SIZE | 4 | $ | 64 |
| DATA_SOURCE | 1 | err | r xenbus_printf |
| STR_LEN | 0 | dev | 14 |
| STR_LEN | 1 | err | 63 |
| STR_LEN | 4 | $ | 63 |
| BIT_INFO | 1 | err | 0x0,0x0 |
| TERMINATED | 2 | fmt | 1 |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &xenwatch_mutex |
drivers/xen/xen-scsiback.c scsiback_do_add_lun() -> xenbus_dev_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | err | (-4095)-(-1) |
| PARAM_VALUE | 2 | fmt | 1868739818174808064 |
| PARAM_VALUE | 4 | $ | 1203119805161242624 |
| BUF_SIZE | 2 | fmt | 15 |
| BUF_SIZE | 3 | $ | 20 |
| BUF_SIZE | 4 | $ | 64 |
| BUF_SIZE | 4 | $ | 64 |
| DATA_SOURCE | 1 | err | r xenbus_printf |
| DATA_SOURCE | 4 | $ | $1 |
| STR_LEN | 0 | dev | 14 |
| BIT_INFO | 1 | err | 0x0,0x0 |
| TERMINATED | 2 | fmt | 1 |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &xenwatch_mutex |
drivers/xen/xen-scsiback.c scsiback_probe() -> xenbus_dev_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.driver_data | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->otherend_watch.node | 0 |
| PARAM_VALUE | 0 | dev->otherend_watch.nr_pending | 0 |
| PARAM_VALUE | 0 | dev->reclaim_sem.first_waiter->list.next | 5349227543279349760 |
| PARAM_VALUE | 0 | dev->reclaim_sem.first_waiter->list.prev | 5349227543279349760 |
| PARAM_VALUE | 0 | dev->reclaim_sem.first_waiter->list.prev->next | 5349227543279349760 |
| PARAM_VALUE | 0 | dev->reclaim_sem.first_waiter->up | 0 |
| PARAM_VALUE | 0 | dev->reclaim_sem.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->reclaim_sem.lock.owner | (-1) |
| PARAM_VALUE | 0 | dev->reclaim_sem.lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | err | (-4095)-(-1) |
| PARAM_VALUE | 2 | fmt | 4057908832601038848 |
| BUF_SIZE | 2 | fmt | 25 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | err | r xenbus_printf |
| STR_LEN | 0 | dev | 24 |
| BIT_INFO | 1 | err | 0x0,0x0 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | 0 | &dev->reclaim_sem | |
| TYPE_LOCK | (struct xenbus_device)->reclaim_sem |
drivers/scsi/xen-scsifront.c scsifront_do_lun_hotplug() -> xenbus_dev_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.driver | 0,4096-ptr_max |
| PARAM_VALUE | 1 | err | (-4095)-(-1) |
| PARAM_VALUE | 2 | fmt | 4378784581610237952 |
| BUF_SIZE | 2 | fmt | 27 |
| BUF_SIZE | 3 | $ | 25 |
| DATA_SOURCE | 1 | err | r xenbus_printf |
| STR_LEN | 0 | dev | 26 |
| BIT_INFO | 1 | err | 0x0,0x0 |
| TERMINATED | 2 | fmt | 1 |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &xenwatch_mutex |
drivers/scsi/xen-scsifront.c scsifront_do_lun_hotplug() -> xenbus_dev_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | err | (-4095)-(-1) |
| PARAM_VALUE | 2 | fmt | 4378784581610237952 |
| BUF_SIZE | 2 | fmt | 27 |
| BUF_SIZE | 3 | $ | 25 |
| DATA_SOURCE | 1 | err | r xenbus_printf |
| STR_LEN | 0 | dev | 26 |
| BIT_INFO | 1 | err | 0x0,0x0 |
| TERMINATED | 2 | fmt | 1 |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &xenwatch_mutex |
drivers/scsi/xen-scsifront.c scsifront_sdev_configure() -> xenbus_dev_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | err | (-4095)-(-1) |
| PARAM_VALUE | 2 | fmt | 4378784581610237952 |
| BUF_SIZE | 2 | fmt | 27 |
| BUF_SIZE | 3 | $ | 25 |
| DATA_SOURCE | 1 | err | r xenbus_printf |
| STR_LEN | 0 | dev | 26 |
| BIT_INFO | 1 | err | 0x0,0x0 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &sdev->request_queue->limits_lock | ||
| LOCK2 | &shost->scan_mutex | ||
| TYPE_LOCK | (struct Scsi_Host)->scan_mutex | ||
| TYPE_LOCK | (struct request_queue)->limits_lock |
drivers/scsi/xen-scsifront.c scsifront_sdev_destroy() -> xenbus_dev_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | err | (-4095)-(-1) |
| PARAM_VALUE | 2 | fmt | 4378784581610237952 |
| BUF_SIZE | 2 | fmt | 27 |
| BUF_SIZE | 3 | $ | 23 |
| DATA_SOURCE | 1 | err | r xenbus_printf |
| STR_LEN | 0 | dev | 26 |
| BIT_INFO | 1 | err | 0x0,0x0 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &shost->scan_mutex | ||
| TYPE_LOCK | (struct Scsi_Host)->scan_mutex |
drivers/block/xen-blkback/xenbus.c connect() -> xenbus_dev_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->state | 0-3,5-u32max |
| PARAM_VALUE | 1 | err | (-4095)-(-1) |
| PARAM_VALUE | 2 | fmt | 7302428178336911360 |
| BUF_SIZE | 2 | fmt | 32 |
| DATA_SOURCE | 1 | err | r xenbus_printf |
| STR_LEN | 0 | dev | 31 |
| BIT_INFO | 1 | err | 0x0,0x0 |
| TERMINATED | 2 | fmt | 1 |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &xenwatch_mutex |
drivers/block/xen-blkback/xenbus.c xen_update_blkif_status() -> xenbus_dev_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->state | 4 |
| PARAM_VALUE | 1 | err | (-4095)-(-1) |
| PARAM_VALUE | 2 | fmt | 6818976305871941632 |
| BUF_SIZE | 2 | fmt | 21 |
| DATA_SOURCE | 1 | err | r blkback_name |
| STR_LEN | 0 | dev | 20 |
| BIT_INFO | 1 | err | 0x0,0x0 |
| TERMINATED | 2 | fmt | 1 |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &xenwatch_mutex |
drivers/block/xen-blkback/xenbus.c xen_update_blkif_status() -> xenbus_dev_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->state | 4 |
| PARAM_VALUE | 1 | err | s32min-(-13),(-11)-(-1),1-s32max |
| PARAM_VALUE | 2 | fmt | 1180066543278997504 |
| BUF_SIZE | 2 | fmt | 12 |
| DATA_SOURCE | 1 | err | r sync_blockdev |
| STR_LEN | 0 | dev | 11 |
| TERMINATED | 2 | fmt | 1 |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &xenwatch_mutex |
drivers/xen/xenbus/xenbus_client.c xenbus_free_evtchn() -> xenbus_dev_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | err | s32min-(-1),1-s32max |
| PARAM_VALUE | 2 | fmt | 71535458749763584 |
| BUF_SIZE | 2 | fmt | 25 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | err | r HYPERVISOR_event_channel_op |
| DATA_SOURCE | 3 | $ | $1 |
| STR_LEN | 0 | dev | 24 |
| STR_LEN | 0 | dev->nodename | (-1)-s32max |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &xdev->reclaim_sem | ||
| HALF_LOCKED2 | global &xenwatch_mutex | ||
| HALF_LOCKED2 | 0 | &dev->reclaim_sem |
drivers/xen/xenbus/xenbus_client.c xenbus_unmap_ring() -> xenbus_dev_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | err | s16min-(-1),1-s16max |
| PARAM_VALUE | 2 | fmt | 4589138290589028352 |
| PARAM_VALUE | 4 | $ | s16min-(-1),1-s16max |
| BUF_SIZE | 2 | fmt | 37 |
| DATA_SOURCE | 0 | dev | $0 |
| STR_LEN | 0 | dev | 36 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pdev->dev_lock | ||
| HALF_LOCKED2 | global &xenwatch_mutex |
drivers/xen/xenbus/xenbus_client.c xenbus_unmap_ring_hvm() -> xenbus_dev_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | err | (-2) |
| PARAM_VALUE | 2 | fmt | 4400244578966323200 |
| BUF_SIZE | 2 | fmt | 37 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 3 | $ | $1 |
| STR_LEN | 0 | dev | 36 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pdev->dev_lock | ||
| HALF_LOCKED2 | global &pvcalls_back_global.frontends_lock | ||
| HALF_LOCKED2 | global &xenwatch_mutex |
drivers/xen/xenbus/xenbus_client.c xenbus_unmap_ring_pv() -> xenbus_dev_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | err | (-2) |
| PARAM_VALUE | 2 | fmt | 4400244578966323200 |
| BUF_SIZE | 2 | fmt | 37 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 3 | $ | $1 |
| STR_LEN | 0 | dev | 36 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 3 | $ | unit_byte |
| HALF_LOCKED2 | &pdev->dev_lock | ||
| HALF_LOCKED2 | global &pvcalls_back_global.frontends_lock | ||
| HALF_LOCKED2 | global &xenwatch_mutex |
drivers/xen/xenbus/xenbus_client.c xenbus_unmap_ring_pv() -> xenbus_dev_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | err | s16min-(-1),1-s16max |
| PARAM_VALUE | 2 | fmt | 4589138290589028352 |
| PARAM_VALUE | 4 | $ | s16min-(-1),1-s16max |
| BUF_SIZE | 2 | fmt | 37 |
| DATA_SOURCE | 0 | dev | $0 |
| STR_LEN | 0 | dev | 36 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pdev->dev_lock | ||
| HALF_LOCKED2 | global &pvcalls_back_global.frontends_lock | ||
| HALF_LOCKED2 | global &xenwatch_mutex |
drivers/xen/xenbus/xenbus_probe.c xenbus_dev_probe() -> xenbus_dev_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->otherend_watch->node | 0-255 |
| PARAM_VALUE | 0 | dev->otherend_watch.callback | 0 |
| PARAM_VALUE | 0 | dev->otherend_watch.will_handle | 0 |
| PARAM_VALUE | 0 | dev->reclaim_sem.first_waiter->up | 1 |
| PARAM_VALUE | 0 | dev->reclaim_sem.last_holder | 0 |
| PARAM_VALUE | 0 | dev->reclaim_sem.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->reclaim_sem.lock.owner | (-1) |
| PARAM_VALUE | 0 | dev->reclaim_sem.lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | err | s32min-(-1),1-s32max |
| PARAM_VALUE | 2 | fmt | 6218218008090009600 |
| BUF_SIZE | 2 | fmt | 23 |
| STR_LEN | 0 | dev | 22 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/pci/xen-pcifront.c pcifront_connect() -> xenbus_dev_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | err | (-2) |
| PARAM_VALUE | 2 | fmt | 8782212955065073664 |
| BUF_SIZE | 2 | fmt | 35 |
| DATA_SOURCE | 1 | err | r xenbus_scanf |
| STR_LEN | 0 | dev | 34 |
| TERMINATED | 2 | fmt | 1 |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &xenwatch_mutex |