Open Menu /

Defined in 1 files as a prototype:

Defined in 47 files as a member:

Defined in 7 files as a function:

Defined in 1 files as a enumerator:

Referenced in 658 files:

Smatch caller information:

drivers/scsi/dc395x.c dc395x_handle_interrupt() -> disconnect()

Type Parameter Key Value
PARAM_VALUE 0 acb 4096-ptr_max
PARAM_VALUE 0 acb->scsi_host 4096-ptr_max
PARAM_VALUE 0 acb->selto_timer.entry.pprev 0
DATA_SOURCE 0 acb $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 (acb->scsi_host)->host_lock
LOCK2 flags
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq

security/apparmor/path.c d_namespace_path() -> disconnect()

Type Parameter Key Value
PARAM_VALUE 0 acb 4096-ptr_max
PARAM_VALUE 0 acb->dentry 4096-ptr_max
PARAM_VALUE 0 acb->dentry->d_sb 4096-ptr_max
PARAM_VALUE 0 acb->mnt 4096-ptr_max
PARAM_VALUE 0 acb->mnt->mnt_flags s32min-(-1),16384-s32max
PARAM_VALUE 2 reason_code 8954924089898733568
PARAM_VALUE 2 *reason_code 0-ptr_max
PARAM_VALUE 2 *(*reason_code) 0
CAPPED_DATA 0 acb->dentry 1
DATA_SOURCE 0 acb $0
DATA_SOURCE 1 dev $1
DATA_SOURCE 2 reason_code $2
DATA_SOURCE 3 len $3
DATA_SOURCE 4 disconnected $4
BIT_INFO 0 acb->mnt->mnt_flags 0x4000,0xffffffff

security/apparmor/path.c d_namespace_path() -> disconnect()

Type Parameter Key Value
PARAM_VALUE 0 acb 4096-ptr_max
PARAM_VALUE 0 acb->mnt 4096-ptr_max
PARAM_VALUE 2 reason_code 8954924089898733568
PARAM_VALUE 2 *reason_code 0-ptr_max
PARAM_VALUE 2 *(*reason_code) 0
DATA_SOURCE 0 acb $0
DATA_SOURCE 1 dev $1
DATA_SOURCE 2 reason_code $2
DATA_SOURCE 3 len $3
DATA_SOURCE 4 disconnected $4
BIT_INFO 0 acb->mnt->mnt_flags 0x0,0xffffbfff

net/bluetooth/hci_sock.c hci_mgmt_cmd() -> (struct hci_mgmt_handler)->func()

Type Parameter Key Value
PARAM_VALUE 0 acb 4096-ptr_max
PARAM_VALUE 0 acb->__sk_common.skc_refcnt.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 acb->channel 3
PARAM_VALUE 0 acb->mtu 4-u16max
PARAM_VALUE 0 acb->sk_lock.owned 1
PARAM_VALUE 0 acb->sk_lock.slock.rlock.dep_map->name 0-255
PARAM_VALUE 0 acb->sk_lock.wq.head.prev 4096-ptr_max
PARAM_VALUE 0 acb->sk_lock.wq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 acb->sk_lock.wq.head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 acb->sk_shutdown 0
PARAM_VALUE 1 dev 0,4096-ptr_max
PARAM_VALUE 1 dev->dev_flags 4096-ptr_max
BUF_SIZE 1 dev (-1)-s32max
BUF_SIZE 1 dev (-1)-s32max
CAPPED_DATA 3 len 1
DATA_SOURCE 0 acb $1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 acb->sk_backlog.len
USER_PTR 2 reason_code
LOCK2 global &mgmt_chan_list_lock
LOCK2 0 acb
HALF_LOCKED2 &vq->mutex

net/wireless/sme.c rdev_disconnect() -> (struct cfg80211_ops)->disconnect()

Type Parameter Key Value
PARAM_VALUE 0 acb 4096-ptr_max
PARAM_VALUE 1 dev 4096-ptr_max
PARAM_VALUE 1 dev->ieee80211_ptr 4096-ptr_max
PARAM_VALUE 1 dev->ieee80211_ptr->conn 0
PARAM_VALUE 1 dev->ieee80211_ptr->conn_owner_nlportid 0
PARAM_VALUE 1 dev->ieee80211_ptr->connect_keys 0
PARAM_VALUE 1 dev->ieee80211_ptr->u.client.ssid_len 1-255
PARAM_VALUE 1 dev->wireless_handlers->num_private_args 0,8-9
PARAM_VALUE 1 dev->wireless_handlers->standard 0,4096-ptr_max
BUF_SIZE 1 dev s32min-(-1),1-s32max
BUF_SIZE 1 dev s32min-(-1),1-s32max
DATA_SOURCE 1 dev $1
DATA_SOURCE 2 reason_code $2
CONTAINER 0 -384-0+2016 $(-1)
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 reason_code 0-u16max[u]
HALF_LOCKED2 &rdev->wiphy.mtx
HALF_LOCKED2 global &rtnl_mutex

drivers/usb/core/driver.c usb_unbind_interface() -> (struct usb_driver)->disconnect()

Type Parameter Key Value
PARAM_VALUE 0 acb 4096-ptr_max
PARAM_VALUE 0 acb->condition 3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 &dev->mutex

drivers/net/usb/huawei_cdc_ncm.c huawei_cdc_ncm_unbind() -> (struct usb_driver)->disconnect()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/usb/cdc_mbim.c cdc_mbim_unbind() -> (struct usb_driver)->disconnect()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/usb/qmi_wwan.c qmi_wwan_unbind() -> (struct usb_driver)->disconnect()

Type Parameter Key Value
CONTAINER 0 *(-16-0+24) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

Smatch assignments to (struct pi_protocol)->disconnect:

drivers/ata/pata_parport/on26.c (null)() -> (struct pi_protocol)->disconnect [7260676102695686144]

drivers/ata/pata_parport/on20.c (null)() -> (struct pi_protocol)->disconnect [9107391091001970688]

drivers/ata/pata_parport/friq.c (null)() -> (struct pi_protocol)->disconnect [6181789838649868288]

drivers/ata/pata_parport/aten.c (null)() -> (struct pi_protocol)->disconnect [5699358508768825344]

drivers/ata/pata_parport/fit3.c (null)() -> (struct pi_protocol)->disconnect [8256026446729998336]

drivers/ata/pata_parport/ktti.c (null)() -> (struct pi_protocol)->disconnect [4147171135969529856]

drivers/ata/pata_parport/comm.c (null)() -> (struct pi_protocol)->disconnect [3028602324599951360]

drivers/ata/pata_parport/bpck.c (null)() -> (struct pi_protocol)->disconnect [64467325431058432]

drivers/ata/pata_parport/dstr.c (null)() -> (struct pi_protocol)->disconnect [5309521924751753216]

drivers/ata/pata_parport/kbic.c (null)() -> (struct pi_protocol)->disconnect [6802792944886022144,7111721302392442880]

drivers/ata/pata_parport/frpw.c (null)() -> (struct pi_protocol)->disconnect [4940384916633886720]

drivers/ata/pata_parport/epia.c (null)() -> (struct pi_protocol)->disconnect [6743838016859811840]

drivers/ata/pata_parport/bpck6.c (null)() -> (struct pi_protocol)->disconnect [6069271994043797504]

drivers/ata/pata_parport/fit2.c (null)() -> (struct pi_protocol)->disconnect [6082102051012988928]

drivers/ata/pata_parport/epat.c (null)() -> (struct pi_protocol)->disconnect [7970990080201531392]