Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/pci/hotplug/pci_hotplug_core.c fs_add_slot() -> has_adapter_file()

Type Parameter Key Value
PARAM_VALUE 0 slot 4096-ptr_max
PARAM_VALUE 0 slot->ops 4096-ptr_max
BUF_SIZE 0 slot->ops (-1),72
DATA_SOURCE 0 slot $0
STR_LEN 0 slot (-1),5,9-10,15,20
STR_LEN 0 slot (-1),5,9-10,15,20
STR_LEN 0 slot->mod_name (-1)
TERMINATED 0 slot->mod_name 1
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 slot->pci_slot->number 0-61[c]

drivers/pci/hotplug/pci_hotplug_core.c fs_add_slot() -> has_adapter_file()

Type Parameter Key Value
PARAM_VALUE 0 slot 4096-ptr_max
PARAM_VALUE 0 slot->ops 4096-ptr_max
BUF_SIZE 0 slot->ops (-1),72
DATA_SOURCE 0 slot $0
STR_LEN 0 slot (-1),5,9-10,15,20
STR_LEN 0 slot (-1),5,9-10,15,20
STR_LEN 0 slot->mod_name (-1)
TERMINATED 0 slot->mod_name 1
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 slot->pci_slot->number 0-61[c]

drivers/pci/hotplug/pci_hotplug_core.c fs_remove_slot() -> has_adapter_file()

Type Parameter Key Value
PARAM_VALUE 0 slot 4096-ptr_max
PARAM_VALUE 0 slot->ops 4096-ptr_max
DATA_SOURCE 0 slot $0
RX_PATH
TASK_NOT_RUNNING