Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/ata/libahci.c ahci_port_init() -> ahci_deinit_port()

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
PARAM_VALUE 0 ap->ops 0-8961831723135500287,8961831723135500289-u64max
PARAM_VALUE 1 emsg 3781099008492068864
PARAM_VALUE 1 *emsg 0
PARAM_VALUE 1 *(*emsg) 0
DATA_SOURCE 0 ap $1
RX_PATH
TASK_NOT_RUNNING

drivers/ata/libahci.c ahci_port_stop() -> ahci_deinit_port()

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
PARAM_VALUE 0 ap->ops 4096-ptr_max
PARAM_VALUE 0 ap->ops->freeze 0,4096-ptr_max
PARAM_VALUE 0 ap->ops->port_stop 294557078089875456,877145446330056704,3370986915542740992,6229546505481371648,8618476759459885056,8985212501302411264,9215074523462684672
PARAM_VALUE 0 ap->ops->sff_irq_clear 0,4096-ptr_max,(-2)
PARAM_VALUE 1 emsg 9118820664092221440
PARAM_VALUE 1 *emsg 0
PARAM_VALUE 1 *(*emsg) 0
CAPPED_DATA 0 ap 1
DATA_SOURCE 0 ap $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &_dev->mutex
HALF_LOCKED2 &dev->mutex

drivers/ata/libahci.c ahci_port_suspend() -> ahci_deinit_port()

Type Parameter Key Value
PARAM_VALUE 0 ap 4096-ptr_max
PARAM_VALUE 0 ap->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 ap->excl_link 0
PARAM_VALUE 0 ap->fastdrain_timer.flags 0-4194302
PARAM_VALUE 0 ap->fastdrain_timer.function 0
PARAM_VALUE 0 ap->host 4096-ptr_max
PARAM_VALUE 0 ap->host->eh_mutex.dep_map->name 0-255
PARAM_VALUE 0 ap->host->eh_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 ap->host->eh_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 ap->host->eh_mutex.first_waiter->task->blocked_on (-1)-0
PARAM_VALUE 0 ap->host->private_data->dma_status 2
PARAM_VALUE 0 ap->host->private_data->hp_flags 0-4294967295
PARAM_VALUE 0 ap->host->private_data->main_irq_mask 0-4294967295
PARAM_VALUE 0 ap->link.ap->link.device->link->active_tag 0-4294967295
PARAM_VALUE 0 ap->link.ap->link.device->link->sactive 0-4294967295
PARAM_VALUE 0 ap->lock 4096-ptr_max
PARAM_VALUE 0 ap->lock->rlock.dep_map->name 0-255
PARAM_VALUE 0 ap->ops 4096-ptr_max
PARAM_VALUE 0 ap->ops->freeze 0,4096-ptr_max
PARAM_VALUE 0 ap->ops->port_suspend 806784383162724352,3772945877559664640,7607101467345211392
PARAM_VALUE 0 ap->pflags 0,4-u32max
PARAM_VALUE 0 ap->pm_mesg.event s32min-(-1),1-s32max
PARAM_VALUE 0 ap->private_data->cached.fiscfg 0-4294967295
PARAM_VALUE 0 ap->private_data->cached.haltcond 0-4294967295
PARAM_VALUE 0 ap->private_data->cached.ltmode 0-4294967295
PARAM_VALUE 0 ap->private_data->cached.unknown_rsvd 0-4294967295
PARAM_VALUE 0 ap->private_data->pp_flags 0-4294967295
PARAM_VALUE 0 ap->private_data->state 0
PARAM_VALUE 0 ap->scsi_host->ehandler->delays->blkio_count 0-4294967295
PARAM_VALUE 0 ap->scsi_host->ehandler->sched_task_group->idle s32min-s32max
PARAM_VALUE 1 emsg 6185687892117762048
PARAM_VALUE 1 *emsg 0
PARAM_VALUE 1 *(*emsg) 0
CAPPED_DATA 0 ap 1
DATA_SOURCE 0 ap $0
BIT_INFO 0 ap->pm_mesg.event 0x0,0xffffffef
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &ap->host->eh_mutex
TYPE_LOCK (struct ata_host)->eh_mutex