Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/dibs/dibs_main.c dibs_dev_del() -> (struct dibs_client_ops)->del_dev()

Type Parameter Key Value
PARAM_VALUE 0 dibs 4096-ptr_max
PARAM_VALUE 0 dibs->dev.kobj.sd 0,4096-ptr_max
PARAM_VALUE 0 dibs->dev.kobj.sd->__parent 0
PARAM_VALUE 0 dibs->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dibs->subs 4096-ptr_max
DATA_SOURCE 0 dibs $0
LOCK2 global &clients_lock
LOCK2 global &dibs_dev_list.mutex
TYPE_LOCK (struct dibs_dev_list)->mutex

drivers/dibs/dibs_main.c dibs_unregister_client() -> (struct dibs_client_ops)->del_dev()

Type Parameter Key Value
PARAM_VALUE 0 dibs 4096-ptr_max
PARAM_VALUE 0 dibs->dmb_clientid_arr 4096-ptr_max
PARAM_VALUE 0 dibs->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dibs->ops 4096-ptr_max
PARAM_VALUE 0 dibs->subs 4096-ptr_max
LOCK2 global &dibs_dev_list.mutex
TYPE_LOCK (struct dibs_dev_list)->mutex