Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/base/module.c module_add_driver() -> make_driver_name()

Type Parameter Key Value
PARAM_VALUE 0 drv 4096-ptr_max
PARAM_VALUE 0 drv->bus 4096-ptr_max
PARAM_VALUE 0 drv->p 4096-ptr_max
PARAM_VALUE 0 drv->p->driver 4096-ptr_max
PARAM_VALUE 0 drv->p->klist_devices.get 0
PARAM_VALUE 0 drv->p->klist_devices.k_list.next 4096-ptr_max
PARAM_VALUE 0 drv->p->klist_devices.k_list.prev 4096-ptr_max
PARAM_VALUE 0 drv->p->klist_devices.put 0
BUF_SIZE 0 drv->bus (-1),168
BUF_SIZE 0 drv->dev_groups (-1),32
BUF_SIZE 0 drv->mod_name (-1),3-25,27-28
BUF_SIZE 0 drv->name (-1)-s32max
BUF_SIZE 0 drv->p 400
BUF_SIZE 0 drv->p->mkobj (-1),280
BUF_SIZE 0 drv->pm (-1),184
CAPPED_DATA 0 drv->bus 1
DATA_SOURCE 0 drv $1
STR_LEN 0 drv->name (-1),9
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &ipmi_interfaces_mutex
HALF_LOCKED2 global &table_lock

drivers/base/module.c module_remove_driver() -> make_driver_name()

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->attr.notify_next 0,426918848001064960
BUF_SIZE 0 drv->bus (-1),168
BUF_SIZE 0 drv->dev_groups (-1),32
BUF_SIZE 0 drv->mod_name (-1),3-25,27-28
BUF_SIZE 0 drv->name (-1)-s32max
BUF_SIZE 0 drv->pm (-1),184
CAPPED_DATA 0 drv 1
CAPPED_DATA 0 drv->bus 1
DATA_SOURCE 0 drv $0
STR_LEN 0 drv->name (-1),9
RX_PATH
TASK_NOT_RUNNING