Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/ata/ahci_xgene.c xgene_ahci_restart_engine() -> ahci_start_fis_rx()

Type Parameter Key Value
PARAM_VALUE 0 ap 4096-ptr_max
PARAM_VALUE 0 ap->host 4096-ptr_max
PARAM_VALUE 0 ap->host->private_data 4096-ptr_max
DATA_SOURCE 0 ap $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 ap->lock
HALF_LOCKED2 flags

drivers/ata/libahci.c ahci_start_port() -> ahci_start_fis_rx()

Type Parameter Key Value
PARAM_VALUE 0 ap 4096-ptr_max
PARAM_VALUE 0 ap->host 4096-ptr_max
PARAM_VALUE 0 ap->host->private_data 4096-ptr_max
BUF_SIZE 0 ap->lock (-1),72
BUF_SIZE 0 ap->private_data (-1),2080
DATA_SOURCE 0 ap $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &ap->host->eh_mutex