Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/ata/ahci.c ahci_init_one() -> ahci_mark_external_port()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ap | 4096-ptr_max |
| PARAM_VALUE | 0 | ap->host | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | ap->em_message_type | 2-15[c] |