Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/sfc/falcon/falcon.c falcon_probe_nvconfig() -> falcon_spi_device_init()

Type Parameter Key Value
PARAM_VALUE 0 efx 4096-ptr_max
PARAM_VALUE 1 spi_device 4096-ptr_max
PARAM_VALUE 2 device_id 1
BUF_SIZE 0 efx->nic_data 3304
CAPPED_DATA 0 efx->irq_status.addr 1
CAPPED_DATA 0 efx->pci_dev 1
DATA_SOURCE 0 efx $0
BIT_INFO 0 efx->fixed_features 0x20,0xffffffffffffffff
BIT_INFO 0 efx->irq_status.dma_addr 0x0,0xfffffffffffffff0
BIT_INFO 0 efx->msg_enable 0x0,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 efx->pci_dev->current_state 0-3[c]
HOST_DATA 0 efx->pci_dev->pcie_flags_reg 0-u16max
NO_OVERFLOW_SIMPLE 0 efx->workqueue->rescuer->task->dl.pi_se->dl_runtime

drivers/net/ethernet/sfc/falcon/falcon.c falcon_probe_nvconfig() -> falcon_spi_device_init()

Type Parameter Key Value
PARAM_VALUE 0 efx 4096-ptr_max
PARAM_VALUE 1 spi_device 4096-ptr_max
PARAM_VALUE 2 device_id 0
BUF_SIZE 0 efx->nic_data 3304
CAPPED_DATA 0 efx->irq_status.addr 1
CAPPED_DATA 0 efx->pci_dev 1
DATA_SOURCE 0 efx $0
BIT_INFO 0 efx->fixed_features 0x20,0xffffffffffffffff
BIT_INFO 0 efx->irq_status.dma_addr 0x0,0xfffffffffffffff0
BIT_INFO 0 efx->msg_enable 0x0,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 efx->pci_dev->current_state 0-3[c]
HOST_DATA 0 efx->pci_dev->pcie_flags_reg 0-u16max
NO_OVERFLOW_SIMPLE 0 efx->workqueue->rescuer->task->dl.pi_se->dl_runtime

drivers/net/ethernet/sfc/falcon/falcon.c falcon_probe_spi_devices() -> falcon_spi_device_init()

Type Parameter Key Value
PARAM_VALUE 0 efx 4096-ptr_max
PARAM_VALUE 1 spi_device 4096-ptr_max
PARAM_VALUE 2 device_id 1
BUF_SIZE 0 efx->nic_data 3304
CAPPED_DATA 0 efx->irq_status.addr 1
CAPPED_DATA 0 efx->pci_dev 1
DATA_SOURCE 0 efx $0
BIT_INFO 0 efx->fixed_features 0x20,0xffffffffffffffff
BIT_INFO 0 efx->irq_status.dma_addr 0x0,0xfffffffffffffff0
BIT_INFO 0 efx->msg_enable 0x0,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 efx->pci_dev->current_state 0-3[c]
HOST_DATA 0 efx->pci_dev->pcie_flags_reg 0-u16max
NO_OVERFLOW_SIMPLE 0 efx->workqueue->rescuer->task->dl.pi_se->dl_runtime

drivers/net/ethernet/sfc/falcon/falcon.c falcon_probe_spi_devices() -> falcon_spi_device_init()

Type Parameter Key Value
PARAM_VALUE 0 efx 4096-ptr_max
PARAM_VALUE 1 spi_device 4096-ptr_max
PARAM_VALUE 2 device_id 0
BUF_SIZE 0 efx->nic_data 3304
CAPPED_DATA 0 efx->irq_status.addr 1
CAPPED_DATA 0 efx->pci_dev 1
DATA_SOURCE 0 efx $0
BIT_INFO 0 efx->fixed_features 0x20,0xffffffffffffffff
BIT_INFO 0 efx->irq_status.dma_addr 0x0,0xfffffffffffffff0
BIT_INFO 0 efx->msg_enable 0x0,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 efx->pci_dev->current_state 0-3[c]
HOST_DATA 0 efx->pci_dev->pcie_flags_reg 0-u16max
NO_OVERFLOW_SIMPLE 0 efx->workqueue->rescuer->task->dl.pi_se->dl_runtime