Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/ata/libahci.c ahci_activity_store() -> (struct ata_port_operations)->transmit_led_message()

Type Parameter Key Value
PARAM_VALUE 0 ap 4096-ptr_max
PARAM_VALUE 0 ap->ops 4096-ptr_max
PARAM_VALUE 2 size 4
CONTAINER 0 -464-8+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/ata/libahci.c ahci_activity_store() -> (struct ata_port_operations)->transmit_led_message()

Type Parameter Key Value
PARAM_VALUE 0 ap 4096-ptr_max
PARAM_VALUE 0 ap->ops 4096-ptr_max
PARAM_VALUE 1 state 0,65536-u32max
PARAM_VALUE 2 size 4
CONTAINER 0 -464-8+0 $(-1)
BIT_INFO 1 state 0x10000,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/ata/libahci.c ahci_led_store() -> (struct ata_port_operations)->transmit_led_message()

Type Parameter Key Value
PARAM_VALUE 0 ap 4096-ptr_max
PARAM_VALUE 0 ap->flags 2097152-u64max
PARAM_VALUE 0 ap->ops 4096-ptr_max
PARAM_VALUE 0 ap->ops->em_store 1757495228349177856
PARAM_VALUE 2 size 1-1000000000
CAPPED_DATA 2 size 1
DATA_SOURCE 0 ap $0
DATA_SOURCE 2 size $2
CONTAINER 0 -464-8+0 $(-1)
BIT_INFO 0 ap->flags 0x200000,0xffffffffffffffff
NOSPEC 2 size
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 state
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/ata/libahci.c ahci_start_port() -> (struct ata_port_operations)->transmit_led_message()

Type Parameter Key Value
PARAM_VALUE 0 ap 4096-ptr_max
PARAM_VALUE 0 ap->dev 4096-ptr_max
PARAM_VALUE 0 ap->dev->bus 0,4096-ptr_max
PARAM_VALUE 0 ap->dev->class 0,4096-ptr_max
PARAM_VALUE 0 ap->dev->power.request 0-4
PARAM_VALUE 0 ap->dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 ap->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 ap->dev->type 0,4096-ptr_max
PARAM_VALUE 0 ap->flags 2097152-u64max
PARAM_VALUE 0 ap->host 4096-ptr_max
PARAM_VALUE 0 ap->host->dev->cma_area->available_count 0-s64max
PARAM_VALUE 0 ap->host->private_data 4096-ptr_max
PARAM_VALUE 0 ap->host->private_data->cap 0-2147483646,2147483648-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->ops 4096-ptr_max
PARAM_VALUE 0 ap->ops->port_resume 0,1402274537204125696,3515943421690482688,6496454576333930496,8053306597111750656,8638223309761839104
PARAM_VALUE 0 ap->private_data 4096-ptr_max
PARAM_VALUE 2 size 4
BUF_SIZE 0 ap->lock (-1),72
BUF_SIZE 0 ap->private_data (-1),2080
DATA_SOURCE 0 ap $0
CONTAINER 0 -464-8+0 $(-1)
BIT_INFO 0 ap->flags 0x200000,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 0 &ap->host->eh_mutex

drivers/ata/libahci.c ahci_sw_activity_blink() -> (struct ata_port_operations)->transmit_led_message()

Type Parameter Key Value
PARAM_VALUE 0 ap 4096-ptr_max
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 1 state 0-4294574079
PARAM_VALUE 2 size 4
CONTAINER 0 -464-8+0 $(-1)
BIT_INFO 1 state 0x0,0xfff9ffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL