Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/ata/pata_ninja32.c ninja32_dev_select() -> ninja32_set_piomode()

Type Parameter Key Value
PARAM_VALUE 0 ap 4096-ptr_max
PARAM_VALUE 0 ap->ioaddr.bmdma_addr 4096-ptr_max
PARAM_VALUE 0 ap->ioaddr.device_addr 0-ptr_max
PARAM_VALUE 0 ap->link.device 4096-ptr_max
PARAM_VALUE 0 ap->link.device->link->active_tag 0-4294967295
PARAM_VALUE 0 ap->link.device->link->sactive 0-4294967295
PARAM_VALUE 0 ap->ops 4096-ptr_max
PARAM_VALUE 0 ap->ops->sff_check_status 0,4096-ptr_max
PARAM_VALUE 0 ap->ops->sff_dev_select 0,4096-ptr_max
PARAM_VALUE 1 adev 4096-ptr_max
DATA_SOURCE 0 ap $0
PARAM_COMPARE 1 adev != $0->private_data
PARAM_COMPARE 1 adev != $0->private_data
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 ap->last_ctl 0-255
HOST_DATA 0 ap->link.eh_info.serror 0-u32max
HALF_LOCKED2 ap->lock

drivers/ata/libata-core.c ata_set_mode() -> (struct ata_port_operations)->set_piomode()

Type Parameter Key Value
PARAM_VALUE 0 ap 4096-ptr_max
PARAM_VALUE 0 ap->ops 4096-ptr_max
PARAM_VALUE 0 ap->ops->set_piomode 4096-ptr_max
PARAM_VALUE 1 adev 4096-ptr_max
PARAM_VALUE 1 adev->id 4096-ptr_max
PARAM_VALUE 1 adev->link->ap 4096-ptr_max
PARAM_VALUE 1 adev->link->ap->flags 512-u64max
PARAM_VALUE 1 adev->link->ap->host 4096-ptr_max
PARAM_VALUE 1 adev->link->ap->host->flags 1-u64max
PARAM_VALUE 1 adev->link->ap->ops 4096-ptr_max
PARAM_VALUE 1 adev->pio_mode 0-254
PARAM_VALUE 1 adev->xfer_mode 0-254
PARAM_VALUE 1 adev->xfer_shift 0
BUF_SIZE 1 adev (-1),8064
BUF_SIZE 1 adev (-1),8064
CONTAINER 0 -64-8+0 $(-1)
NOCHECK_CALL