Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/ata/sata_sil24.c sil24_hardreset() -> sil24_config_pmp()

Type Parameter Key Value
PARAM_VALUE 0 ap 4096-ptr_max
PARAM_VALUE 0 ap->host 4096-ptr_max
PARAM_VALUE 0 ap->host->iomap 4096-ptr_max
NOCHECK_CALL

drivers/ata/sata_sil24.c sil24_pmp_attach() -> sil24_config_pmp()

Type Parameter Key Value
PARAM_VALUE 0 ap 4096-ptr_max
PARAM_VALUE 1 attached 1
DATA_SOURCE 0 ap $0
NOCHECK_CALL

drivers/ata/sata_sil24.c sil24_pmp_detach() -> sil24_config_pmp()

Type Parameter Key Value
PARAM_VALUE 0 ap 4096-ptr_max
PARAM_VALUE 0 ap->host 4096-ptr_max
PARAM_VALUE 0 ap->host->iomap 4096-ptr_max
PARAM_VALUE 1 attached 0
DATA_SOURCE 0 ap $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ap->host->eh_mutex
TYPE_LOCK (struct ata_host)->eh_mutex

drivers/ata/sata_sil24.c sil24_port_resume() -> sil24_config_pmp()

Type Parameter Key Value
PARAM_VALUE 0 ap 4096-ptr_max
PARAM_VALUE 0 ap->host 4096-ptr_max
PARAM_VALUE 0 ap->pflags 262144-u32max
PARAM_VALUE 0 ap->pm_mesg.event s32min-(-1),16-s32max
CAPPED_DATA 0 ap 1
DATA_SOURCE 0 ap $0
BIT_INFO 0 ap->pflags 0x40000,0xffffffff
BIT_INFO 0 ap->pm_mesg.event 0x10,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &ap->host->eh_mutex
TYPE_LOCK (struct ata_host)->eh_mutex