Open Menu /

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/base/bus.c bus_remove_driver() -> module_remove_driver()

Type Parameter Key Value
PARAM_VALUE 0 drv 4096-ptr_max
PARAM_VALUE 0 drv->bus 1-u64max
PARAM_VALUE 0 drv->groups 0,4096-ptr_max
PARAM_VALUE 0 drv->owner->mkobj.drivers_dir->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 drv->owner->mkobj.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 drv->p 4096-ptr_max
PARAM_VALUE 0 drv->p->knode_bus.n_klist 0
PARAM_VALUE 0 drv->p->kobj.sd 0,4096-ptr_max
PARAM_VALUE 0 drv->p->kobj.sd->__parent 0
BUF_SIZE 0 drv (-1),152
BUF_SIZE 0 drv (-1),152
BUF_SIZE 0 drv->bus (-1),168
BUF_SIZE 0 drv->mod_name (-1),5,8-12
BUF_SIZE 0 drv->name (-1),1-s32max
CAPPED_DATA 0 drv 1
CAPPED_DATA 0 drv->bus 1
CAPPED_DATA 0 &drv->p->knode_bus 1
DATA_SOURCE 0 drv $0
PARAM_COMPARE 0 &drv->p->klist_devices.k_list == $0->p->klist_devices.k_list.next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL