Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/greybus/gb-beagleplay.c hdlc_append_escaped() -> hdlc_append()

Type Parameter Key Value
PARAM_VALUE 0 bg 4096-ptr_max
PARAM_VALUE 0 bg->gb_hd->dev.iommu_group->owner_cnt 0-4294967295
PARAM_VALUE 0 bg->gb_hd->dev.kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 bg->gb_hd->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 bg->gb_hd->dev.p->dead 0-1
PARAM_VALUE 0 bg->gb_hd->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 bg->gb_hd->driver->hd_priv_size 0-3998224,18446744073709549840-u64max
PARAM_VALUE 0 bg->gb_hd->driver->message_cancel 8700240870402887680,8736407736790749184
PARAM_VALUE 0 bg->gb_hd->driver->message_send 1071560067635101696,7549417231860686848
PARAM_VALUE 0 bg->gb_hd->svc->dev.iommu_group->owner_cnt 0-4294967295
PARAM_VALUE 0 bg->gb_hd->svc->dev.kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 bg->gb_hd->svc->dev.kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 bg->gb_hd->svc->dev.kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 bg->gb_hd->svc->dev.kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 bg->gb_hd->svc->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 bg->gb_hd->svc->dev.p->dead 0-1
PARAM_VALUE 0 bg->gb_hd->svc->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 bg->gb_hd->svc->wq->flush_color s32min-s32max
PARAM_VALUE 0 bg->gb_hd->svc->wq->work_color s32min-s32max
PARAM_VALUE 0 bg->sd->ctrl->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 bg->sd->ctrl->ops->close 4096-ptr_max
PARAM_VALUE 0 bg->sd->ctrl->ops->open 4096-ptr_max
PARAM_VALUE 0 bg->sd->ops->receive_buf 4096-ptr_max
PARAM_VALUE 0 bg->tx_producer_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 value 125
BUF_SIZE 0 bg s32min-(-1),1-s32max
BUF_SIZE 0 bg s32min-(-1),1-s32max
DATA_SOURCE 0 bg $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 bg unit_byte
LOCK2 0 &bg->tx_producer_lock
TYPE_LOCK (struct gb_beagleplay)->tx_producer_lock

drivers/greybus/gb-beagleplay.c hdlc_append_escaped() -> hdlc_append()

Type Parameter Key Value
PARAM_VALUE 0 bg 4096-ptr_max
PARAM_VALUE 0 bg->gb_hd->dev.iommu_group->owner_cnt 0-4294967295
PARAM_VALUE 0 bg->gb_hd->dev.kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 bg->gb_hd->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 bg->gb_hd->dev.p->dead 0-1
PARAM_VALUE 0 bg->gb_hd->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 bg->gb_hd->driver->hd_priv_size 0-3998224,18446744073709549840-u64max
PARAM_VALUE 0 bg->gb_hd->driver->message_cancel 8700240870402887680,8736407736790749184
PARAM_VALUE 0 bg->gb_hd->driver->message_send 1071560067635101696,7549417231860686848
PARAM_VALUE 0 bg->gb_hd->svc->dev.iommu_group->owner_cnt 0-4294967295
PARAM_VALUE 0 bg->gb_hd->svc->dev.kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 bg->gb_hd->svc->dev.kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 bg->gb_hd->svc->dev.kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 bg->gb_hd->svc->dev.kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 bg->gb_hd->svc->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 bg->gb_hd->svc->dev.p->dead 0-1
PARAM_VALUE 0 bg->gb_hd->svc->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 bg->gb_hd->svc->wq->flush_color s32min-s32max
PARAM_VALUE 0 bg->gb_hd->svc->wq->work_color s32min-s32max
PARAM_VALUE 0 bg->sd->ctrl->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 bg->sd->ctrl->ops->close 4096-ptr_max
PARAM_VALUE 0 bg->sd->ctrl->ops->open 4096-ptr_max
PARAM_VALUE 0 bg->sd->ops->receive_buf 4096-ptr_max
PARAM_VALUE 0 bg->tx_producer_lock.rlock.dep_map->name 0-255
BUF_SIZE 0 bg s32min-(-1),1-s32max
BUF_SIZE 0 bg s32min-(-1),1-s32max
DATA_SOURCE 0 bg $0
DATA_SOURCE 1 value $1 [m]
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 bg unit_byte
LOCK2 0 &bg->tx_producer_lock
TYPE_LOCK (struct gb_beagleplay)->tx_producer_lock

drivers/greybus/gb-beagleplay.c hdlc_append_tx_frame() -> hdlc_append()

Type Parameter Key Value
PARAM_VALUE 0 bg 4096-ptr_max
PARAM_VALUE 0 bg->gb_hd->dev.kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 bg->gb_hd->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 bg->gb_hd->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 bg->gb_hd->driver->hd_priv_size 0-3998224,18446744073709549840-u64max
PARAM_VALUE 0 bg->gb_hd->driver->message_cancel 8700240870402887680,8736407736790749184
PARAM_VALUE 0 bg->gb_hd->driver->message_send 1071560067635101696,7549417231860686848
PARAM_VALUE 0 bg->gb_hd->svc->dev.kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 bg->gb_hd->svc->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 bg->gb_hd->svc->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 bg->sd->ctrl->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 bg->sd->ctrl->ops->close 4096-ptr_max
PARAM_VALUE 0 bg->sd->ctrl->ops->open 4096-ptr_max
PARAM_VALUE 0 bg->sd->ops->receive_buf 4096-ptr_max
PARAM_VALUE 0 bg->tx_crc u16max
PARAM_VALUE 0 bg->tx_producer_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 value 126
BUF_SIZE 0 bg s32min-(-1),1-s32max
BUF_SIZE 0 bg s32min-(-1),1-s32max
DATA_SOURCE 0 bg $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 bg unit_byte
LOCK2 0 &bg->tx_producer_lock
HALF_LOCKED2 &buf->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct gb_beagleplay)->tx_producer_lock