Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/ata/libata-eh.c ata_eh_link_set_lpm() -> sata_pmp_set_lpm()

Type Parameter Key Value
PARAM_VALUE 0 link 4096-ptr_max
PARAM_VALUE 0 link->ap 4096-ptr_max
PARAM_VALUE 0 link->ap->link.device->link->active_tag 0-4294967295
PARAM_VALUE 0 link->ap->link.device->link->sactive 0-4294967295
PARAM_VALUE 0 link->ap->ops->sff_irq_clear 0,4096-ptr_max,(-2)
PARAM_VALUE 0 link->lpm_policy 2-u32max
PARAM_VALUE 1 policy 1
PARAM_VALUE 2 hints 0,2-3
CAPPED_DATA 0 link 1
DATA_SOURCE 0 link $0
DATA_SOURCE 1 policy $1
FUZZY_MAX 2 hints 3
BIT_INFO 0 link->flags 0x0,0xfffffeff
HOST_DATA 0 link->pmp 0-255

drivers/ata/libata-eh.c ata_eh_schedule_probe() -> sata_pmp_set_lpm()

Type Parameter Key Value
PARAM_VALUE 0 link 4096-ptr_max
PARAM_VALUE 0 link->lpm_policy 2-u32max
PARAM_VALUE 1 policy 1
PARAM_VALUE 2 hints 1
BUF_SIZE 0 link (-1),10240
BUF_SIZE 0 link (-1),10240
CAPPED_DATA 0 link 1
FUZZY_MAX 0 link->lpm_policy 2
PARAM_COMPARE 0 link != $0->ap->slave_link
PARAM_COMPARE 0 link != $0->ap->slave_link
PARAM_COMPARE 0 &link->ap->link != $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 link->ap->last_ctl 0-255
HOST_DATA 0 link->ap->link.eh_info.serror 0-u32max
HOST_DATA 0 link->ap->link.pmp 0-255
HOST_DATA 0 link->eh_info.serror 0-u32max
HOST_DATA 0 link->pmp 0-255
HALF_LOCKED2 &ap->host->eh_mutex