Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 14 files:
- drivers/block/xen-blkfront.c, line 1695
- drivers/char/tpm/xen-tpmfront.c, line 263
- drivers/gpu/drm/xen/xen_drm_front_evtchnl.c, line 189
- drivers/input/misc/xen-kbdfront.c, line 434
- drivers/net/xen-netfront.c
- drivers/pci/xen-pcifront.c, line 749
- drivers/scsi/xen-scsifront.c, line 804
- drivers/tty/hvc/hvc_xen.c, line 455
- drivers/usb/host/xen-hcd.c, line 1131
- drivers/video/fbdev/xen-fbfront.c, line 555
- drivers/xen/pvcalls-front.c
- drivers/xen/xenbus/xenbus_client.c, line 495
- net/9p/trans_xen.c, line 380
- sound/xen/xen_snd_front_evtchnl.c, line 234
Smatch caller information:
drivers/gpu/drm/xen/xen_drm_front_evtchnl.c evtchnl_alloc() -> xenbus_alloc_evtchn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | port | 4096-ptr_max |
| MEM_ZERO | 1 | port | |
| TASK_NOT_RUNNING | |||
| LOCK2 | global &xenwatch_mutex |
drivers/char/tpm/xen-tpmfront.c setup_ring() -> xenbus_alloc_evtchn()
| 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 | port | 4096-ptr_max |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | 0 | &dev->reclaim_sem |
net/9p/trans_xen.c xen_9pfs_front_alloc_dataring() -> xenbus_alloc_evtchn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->otherend | 1-u64max |
| PARAM_VALUE | 1 | port | 4096-ptr_max |
| DATA_SOURCE | 0 | dev | $0 |
| TASK_NOT_RUNNING | |||
| LOCK2 | global &xenwatch_mutex |
drivers/tty/hvc/hvc_xen.c xencons_connect_backend() -> xenbus_alloc_evtchn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.iommu->attach_deferred | 0-1 |
| 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 | port | 5449791581459771392 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | 0 | &dev->reclaim_sem |
drivers/net/xen-netfront.c setup_netfront_single() -> xenbus_alloc_evtchn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | port | 4096-ptr_max |
| TASK_NOT_RUNNING | |||
| LOCK2 | global &xenwatch_mutex |
drivers/net/xen-netfront.c setup_netfront_split() -> xenbus_alloc_evtchn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | port | 4096-ptr_max |
| TASK_NOT_RUNNING | |||
| LOCK2 | global &xenwatch_mutex |
drivers/net/xen-netfront.c setup_netfront_split() -> xenbus_alloc_evtchn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | port | 4096-ptr_max |
| TASK_NOT_RUNNING | |||
| LOCK2 | global &xenwatch_mutex |
drivers/xen/pvcalls-front.c create_active() -> xenbus_alloc_evtchn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | port | 4296488777242497024,9189008696672374784 |
| PARAM_VALUE | 1 | *port | 0 |
| DATA_SOURCE | 1 | port | $1 |
drivers/xen/pvcalls-front.c pvcalls_front_probe() -> xenbus_alloc_evtchn()
| 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 | port | 7463237806406840320 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | 0 | &dev->reclaim_sem | |
| TYPE_LOCK | (struct xenbus_device)->reclaim_sem |
sound/xen/xen_snd_front_evtchnl.c evtchnl_alloc() -> xenbus_alloc_evtchn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | port | 4096-ptr_max |
| MEM_ZERO | 1 | port | |
| TASK_NOT_RUNNING | |||
| LOCK2 | global &xenwatch_mutex |
drivers/scsi/xen-scsifront.c scsifront_alloc_ring() -> xenbus_alloc_evtchn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | port | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &dev->reclaim_sem |
drivers/input/misc/xen-kbdfront.c xenkbd_connect_backend() -> xenbus_alloc_evtchn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.iommu->attach_deferred | 0-1 |
| 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 | port | 2963234120660553728 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | 0 | &dev->reclaim_sem |
drivers/usb/host/xen-hcd.c xenhcd_setup_rings() -> xenbus_alloc_evtchn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->otherend | 1-u64max |
| PARAM_VALUE | 0 | dev->state | 1 |
| PARAM_VALUE | 1 | port | 4096-ptr_max |
| DATA_SOURCE | 0 | dev | $0 |
| TASK_NOT_RUNNING | |||
| LOCK2 | global &xenwatch_mutex |
drivers/video/fbdev/xen-fbfront.c xenfb_connect_backend() -> xenbus_alloc_evtchn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.iommu->attach_deferred | 0-1 |
| 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 | port | 5114467648987746304 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | 0 | &dev->reclaim_sem |
drivers/pci/xen-pcifront.c pcifront_publish_info() -> xenbus_alloc_evtchn()
| 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.lock.owner | (-1) |
| PARAM_VALUE | 0 | dev->reclaim_sem.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | dev->reclaim_sem.lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 1 | port | 4096-ptr_max |
| PARAM_VALUE | 1 | *port | u32max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &xdev->reclaim_sem | ||
| TYPE_LOCK | (struct xenbus_device)->reclaim_sem |