Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

drivers/ata/ahci.c ahci_pci_init_controller() -> ahci_init_controller()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->private_data 4096-ptr_max
BUF_SIZE 0 host s32min-(-1),1-s32max
BUF_SIZE 0 host s32min-(-1),1-s32max
BUF_SIZE 0 host->dev (-1),1616
BUF_SIZE 0 host->private_data (-1),312
DATA_SOURCE 0 host $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 host->n_ports 3[c]
UNITS 0 host unit_byte

drivers/ata/sata_highbank.c ahci_highbank_probe() -> ahci_init_controller()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->dev 4096-ptr_max
PARAM_VALUE 0 host->dev->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 host->dev->driver_data 4096-ptr_max
PARAM_VALUE 0 host->eh_mutex.dep_map->name 0-255
PARAM_VALUE 0 host->eh_mutex.first_waiter 0
PARAM_VALUE 0 host->eh_mutex.magic 4096-ptr_max
PARAM_VALUE 0 host->eh_mutex.osq.tail.counter 0
PARAM_VALUE 0 host->eh_mutex.owner.counter 0
PARAM_VALUE 0 host->kref.refcount.refs.counter 1
PARAM_VALUE 0 host->n_ports 1-32
PARAM_VALUE 0 host->ports 4096-ptr_max
PARAM_VALUE 0 host->private_data 4096-ptr_max
BUF_SIZE 0 host s32min-s32max
BUF_SIZE 0 host->dev 1616
BUF_SIZE 0 host->private_data 312
CAPPED_DATA 0 host->n_ports 1
DATA_SOURCE 0 host r ata_host_alloc_pinfo
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/ata/sata_highbank.c ahci_highbank_resume() -> ahci_init_controller()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->private_data 4096-ptr_max
BUF_SIZE 0 host s32min-(-2),1-s32max
BUF_SIZE 0 host s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 host unit_byte

drivers/ata/acard-ahci.c acard_ahci_init_one() -> ahci_init_controller()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->dev 4096-ptr_max
PARAM_VALUE 0 host->dev->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 host->dev->driver_data 4096-ptr_max
PARAM_VALUE 0 host->eh_mutex.dep_map->name 0-255
PARAM_VALUE 0 host->eh_mutex.first_waiter 0
PARAM_VALUE 0 host->eh_mutex.magic 4096-ptr_max
PARAM_VALUE 0 host->eh_mutex.osq.tail.counter 0
PARAM_VALUE 0 host->eh_mutex.owner.counter 0
PARAM_VALUE 0 host->kref.refcount.refs.counter 1
PARAM_VALUE 0 host->n_ports 1
PARAM_VALUE 0 host->ports 4096-ptr_max
PARAM_VALUE 0 host->private_data 4096-ptr_max
BUF_SIZE 0 host s32min-s32max
BUF_SIZE 0 host->dev 1616
BUF_SIZE 0 host->private_data 312
DATA_SOURCE 0 host r ata_host_alloc_pinfo
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/ata/acard-ahci.c acard_ahci_pci_device_resume() -> ahci_init_controller()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->private_data 4096-ptr_max
BUF_SIZE 0 host s32min-(-2),1-s32max
BUF_SIZE 0 host s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 host unit_byte
HALF_LOCKED2 &dev->mutex

drivers/ata/libahci_platform.c ahci_platform_init_host() -> ahci_init_controller()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->dev 4096-ptr_max
PARAM_VALUE 0 host->dev->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 host->dev->driver_data 4096-ptr_max
PARAM_VALUE 0 host->eh_mutex.dep_map->name 0-255
PARAM_VALUE 0 host->eh_mutex.first_waiter 0
PARAM_VALUE 0 host->eh_mutex.magic 4096-ptr_max
PARAM_VALUE 0 host->eh_mutex.osq.tail.counter 0
PARAM_VALUE 0 host->eh_mutex.owner.counter 0
PARAM_VALUE 0 host->kref.refcount.refs.counter 1
PARAM_VALUE 0 host->n_ports 1-32
PARAM_VALUE 0 host->ports 4096-ptr_max
PARAM_VALUE 0 host->private_data 4096-ptr_max
BUF_SIZE 0 host s32min-s32max
BUF_SIZE 0 host->dev 1616
CAPPED_DATA 0 host->n_ports 1
DATA_SOURCE 0 host r ata_host_alloc_pinfo
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 host->n_ports 2-32[c]

drivers/ata/libahci_platform.c ahci_platform_resume_host() -> ahci_init_controller()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->private_data 4096-ptr_max
BUF_SIZE 0 host s32min-(-2),1-s32max
BUF_SIZE 0 host s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 host unit_byte