Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/greybus/gb-beagleplay.c hdlc_tx_frames() -> hdlc_append_tx_frame()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bg | 4096-ptr_max |
| 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_producer_lock.rlock.dep_map->name | 0-255 |
| BUF_SIZE | 0 | bg | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | bg | s32min-(-2),1-s32max |
| DATA_SOURCE | 0 | bg | $0 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | bg | unit_byte |
| LOCK2 | 0 | &bg->tx_producer_lock | |
| HALF_LOCKED2 | &buf->lock | ||
| TYPE_LOCK | (struct gb_beagleplay)->tx_producer_lock |
drivers/greybus/gb-beagleplay.c hdlc_tx_frames() -> hdlc_append_tx_frame()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bg | 4096-ptr_max |
| 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_circ_buf.head | 0-1023 |
| PARAM_VALUE | 0 | bg->tx_producer_lock.rlock.dep_map->name | 0-255 |
| BUF_SIZE | 0 | bg | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | bg | s32min-(-2),1-s32max |
| DATA_SOURCE | 0 | bg | $0 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | bg | unit_byte |
| LOCK2 | 0 | &bg->tx_producer_lock | |
| HALF_LOCKED2 | &buf->lock | ||
| TYPE_LOCK | (struct gb_beagleplay)->tx_producer_lock |