Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 16 files:
- drivers/block/xen-blkback/xenbus.c, line 1175
- drivers/block/xen-blkfront.c, line 2641
- drivers/char/tpm/xen-tpmfront.c, line 436
- drivers/gpu/drm/xen/xen_drm_front.c, line 782
- drivers/input/misc/xen-kbdfront.c, line 564
- drivers/net/xen-netback/xenbus.c, line 1179
- drivers/net/xen-netfront.c, line 2713
- drivers/pci/xen-pcifront.c, line 1086
- drivers/scsi/xen-scsifront.c, line 1231
- drivers/usb/host/xen-hcd.c, line 1604
- drivers/video/fbdev/xen-fbfront.c, line 691
- drivers/xen/pvcalls-back.c, line 1244
- drivers/xen/xen-pciback/xenbus.c, line 757
- drivers/xen/xenbus/xenbus_probe.c, line 389
- net/9p/trans_xen.c, line 600
- sound/xen/xen_snd_front.c, line 379
Smatch caller information:
drivers/xen/xen-pciback/xenbus.c xen_pcibk_xenbus_unregister() -> xenbus_unregister_driver()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | drv | 6559808901520461824 |
| NOCHECK_CALL |
drivers/char/tpm/xen-tpmfront.c xen_tpmfront_exit() -> xenbus_unregister_driver()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | drv | 7928249261050511360 |
| NOCHECK_CALL |
net/9p/trans_xen.c p9_trans_xen_exit() -> xenbus_unregister_driver()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | drv | 7902303519055953920 |
drivers/net/xen-netfront.c netif_exit() -> xenbus_unregister_driver()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | drv | 7987982526694649856 |
| NOCHECK_CALL |
drivers/xen/xen-scsiback.c scsiback_exit() -> xenbus_unregister_driver()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | drv | 6246229636312002560 |
| NOCHECK_CALL |
drivers/xen/xen-scsiback.c scsiback_init() -> xenbus_unregister_driver()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | drv | 6246229636312002560 |
| PARAM_VALUE | 0 | drv->driver.bus | 4717873557577994288,6054366411351158832 |
| PARAM_VALUE | 0 | drv->driver.mod_name | 3846284102597648384 |
| PARAM_VALUE | 0 | drv->driver.owner | 0 |
| PARAM_VALUE | 0 | drv->driver.p | 4096-ptr_max |
| PARAM_VALUE | 0 | drv->name | 0,4096-ptr_max |
| PARAM_VALUE | 0 | drv->read_otherend_details | 3919087044413349888 |
| TERMINATED | 0 | drv->driver.mod_name | 1 |
| NOCHECK_CALL |
sound/xen/xen_snd_front.c xen_drv_fini() -> xenbus_unregister_driver()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | drv | 2703776768658321408 |
| NOCHECK_CALL |
drivers/scsi/xen-scsifront.c scsifront_exit() -> xenbus_unregister_driver()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | drv | 756394250099634176 |
| NOCHECK_CALL |
drivers/block/xen-blkback/xenbus.c xen_blkif_xenbus_fini() -> xenbus_unregister_driver()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | drv | 2038973892081643520 |
| NOCHECK_CALL |
drivers/xen/pvcalls-back.c pvcalls_back_fin() -> xenbus_unregister_driver()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | drv | 8282878820557869056 |
| NOCHECK_CALL |
drivers/net/xen-netback/xenbus.c xenvif_xenbus_fini() -> xenbus_unregister_driver()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | drv | 8911116421608140800 |
drivers/input/misc/xen-kbdfront.c xenkbd_cleanup() -> xenbus_unregister_driver()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | drv | 2612825546588188672 |
| NOCHECK_CALL |
drivers/usb/host/xen-hcd.c xenhcd_exit() -> xenbus_unregister_driver()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | drv | 779960776177152000 |
| NOCHECK_CALL |
drivers/video/fbdev/xen-fbfront.c xenfb_cleanup() -> xenbus_unregister_driver()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | drv | 8678925804038086656 |
| NOCHECK_CALL |
drivers/pci/xen-pcifront.c pcifront_cleanup() -> xenbus_unregister_driver()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | drv | 3463151372541153280 |
| NOCHECK_CALL |
drivers/gpu/drm/xen/xen_drm_front.c xen_drv_fini() -> xenbus_unregister_driver()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | drv | 8305365022384680960 |
| NOCHECK_CALL |