Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/block/aoe/aoedev.c downdev_frame() -> aoe_freetframe()

Type Parameter Key Value
PARAM_VALUE 0 f 4096-ptr_max
PARAM_VALUE 0 f->buf 0,4096-ptr_max
PARAM_VALUE 0 f->buf->bio->bi_status 10
PARAM_VALUE 0 f->buf->iter.bi_size 0
PARAM_VALUE 0 f->buf->rq->mq_hctx->next_cpu 0-s32max
PARAM_VALUE 0 f->buf->rq->mq_hctx->next_cpu_batch 1-s32max
PARAM_VALUE 0 f->buf->rq->mq_hctx->run_work.timer.is_hard 0-1
PARAM_VALUE 0 f->buf->rq->mq_hctx->run_work.timer.is_lazy 0-1
PARAM_VALUE 0 f->buf->rq->mq_hctx->run_work.timer.is_queued 0-1
PARAM_VALUE 0 f->buf->rq->mq_hctx->run_work.timer.is_soft 0-1
PARAM_VALUE 0 f->buf->rq->mq_hctx->run_work.work.entry.next->next 1-u64max
PARAM_VALUE 0 f->buf->rq->mq_hctx->run_work.work.entry.prev->next 1-u64max
PARAM_VALUE 0 f->buf->rq->mq_hctx->run_work.work.entry.prev->prev 1-u64max
PARAM_VALUE 0 f->buf->rq->mq_hctx->sched_tags->bitmap_tags.wake_index.counter 0-7
PARAM_VALUE 0 f->buf->rq->mq_hctx->sched_tags->bitmap_tags.wakeup_cnt.counter 0-s32max
PARAM_VALUE 0 f->buf->rq->mq_hctx->sched_tags->breserved_tags.wake_index.counter 0-7
PARAM_VALUE 0 f->buf->rq->mq_hctx->sched_tags->breserved_tags.wakeup_cnt.counter 0-s32max
PARAM_VALUE 0 f->buf->rq->mq_hctx->tags->bitmap_tags.wake_index.counter 0-7
PARAM_VALUE 0 f->buf->rq->mq_hctx->tags->bitmap_tags.wakeup_cnt.counter 0-s32max
PARAM_VALUE 0 f->buf->rq->mq_hctx->tags->breserved_tags.wake_index.counter 0-7
PARAM_VALUE 0 f->buf->rq->mq_hctx->tags->breserved_tags.wakeup_cnt.counter 0-s32max
PARAM_VALUE 0 f->buf->rq->q->disk->zone_wplugs_worker_bio_done.wait.lock.owner (-1)
PARAM_VALUE 0 f->buf->rq->q->disk->zone_wplugs_worker_bio_done.wait.lock.owner_cpu u32max
PARAM_VALUE 0 f->buf->rq->q->elevator->elevator_data->timer.flags 0-4294967295
CAPPED_DATA 0 f->buf 1
NOCHECK_CALL

drivers/block/aoe/aoecmd.c aoe_flush_iocq_by_index() -> aoe_freetframe()

Type Parameter Key Value
PARAM_VALUE 0 f 4096-5213173129806315519,5213173129806315521-ptr_max
PARAM_VALUE 0 f->buf 0,4096-ptr_max
PARAM_VALUE 0 f->t 4096-ptr_max
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &d->lock
LOCK2 flags
TYPE_LOCK (struct aoedev)->lock

drivers/block/aoe/aoecmd.c ktiocomplete() -> aoe_freetframe()

Type Parameter Key Value
PARAM_VALUE 0 f 4096-ptr_max
PARAM_VALUE 0 f->t 4096-ptr_max
PARAM_VALUE 0 f->t->d->lock.rlock.dep_map->name 0-255
DATA_SOURCE 0 f $0
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &d->lock
LOCK2 irq
LOCK2 k->lock
TYPE_LOCK (struct aoedev)->lock

drivers/block/aoe/aoecmd.c newtframe() -> aoe_freetframe()

Type Parameter Key Value
PARAM_VALUE 0 f 4096-ptr_max
BUF_SIZE 0 f 104,u64max
BUF_SIZE 0 f 104,u64max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_PTR 0 f->skb->data
HALF_LOCKED2 &d->lock
TYPE_LOCK (struct aoedev)->lock

drivers/block/aoe/aoecmd.c reassign_frame() -> aoe_freetframe()

Type Parameter Key Value
PARAM_VALUE 0 f 4096-ptr_max
PARAM_VALUE 0 f->skb 1-u64max
PARAM_VALUE 0 f->t 4096-ptr_max
BUF_SIZE 0 f (-1),104
BUF_SIZE 0 f (-1),104
CAPPED_DATA 0 f->t 1
DATA_SOURCE 0 f r newframe
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &d->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct aoedev)->lock

drivers/block/aoe/aoecmd.c rexmit_deferred() -> aoe_freetframe()

Type Parameter Key Value
PARAM_VALUE 0 f 4096-ptr_max
PARAM_VALUE 0 f->head.next 4096-ptr_max
PARAM_VALUE 0 f->head.prev 4096-ptr_max
PARAM_VALUE 0 f->skb 1-u64max
PARAM_VALUE 0 f->t 4096-ptr_max
PARAM_VALUE 0 f->t->d 4096-ptr_max
PARAM_VALUE 0 f->t->d->targets 4096-ptr_max
PARAM_VALUE 0 f->t->d->tgt 4096-ptr_max
PARAM_VALUE 0 f->t->taint s32min-(-1),1-s32max
PARAM_VALUE 0 *f->t->d->tgt 4096-ptr_max
CAPPED_DATA 0 f->t->d->targets 1
BIT_INFO 0 f->flags 0x0,0xfe
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 f->r_skb->end
LOCK2 &d->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct aoedev)->lock

drivers/block/aoe/aoecmd.c rexmit_deferred() -> aoe_freetframe()

Type Parameter Key Value
PARAM_VALUE 0 f 4096-ptr_max
PARAM_VALUE 0 f->flags 1-255
PARAM_VALUE 0 f->t 4096-ptr_max
BIT_INFO 0 f->flags 0x1,0xff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 f->r_skb->end
LOCK2 &d->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct aoedev)->lock