Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/psp/psp_nl.c psp_nl_dev_fill() -> psp_nl_fill_assoc_dev_list()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | psd | 4096-ptr_max |
| PARAM_VALUE | 0 | psd->caps | 4096-ptr_max |
| PARAM_VALUE | 0 | psd->main_netdev | 4096-ptr_max |
| PARAM_VALUE | 0 | psd->ops->get_stats | 3823889233340723200,6162714544096534528 |
| PARAM_VALUE | 0 | psd->ops->key_rotate | 6933127953319854080,8154089329649307648 |
| PARAM_VALUE | 0 | psd->ops->rx_spi_alloc | 3047414224378519552,3575284283401502720 |
| PARAM_VALUE | 0 | psd->ops->set_config | 2200979043546460160,5804929266083229696 |
| PARAM_VALUE | 0 | psd->ops->tx_key_add | 7003194218003664896,8619658840442175488 |
| PARAM_VALUE | 0 | psd->ops->tx_key_del | 2154436798808993792,7956816379992616960 |
| PARAM_VALUE | 1 | rsp | 4096-ptr_max |
| PARAM_VALUE | 1 | rsp->data_len | 0 |
| PARAM_VALUE | 3 | filter_net | 0 |
| BUF_SIZE | 0 | psd | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | psd | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | psd->drv_priv | s32min-(-1),1-s32max |
| BUF_SIZE | 1 | rsp | (-1)-s32max |
| BUF_SIZE | 1 | rsp | (-1)-s32max |
| CAPPED_DATA | 0 | psd->main_netdev->nd_net.net | 1 |
| CAPPED_DATA | 2 | cur_net | 1 |
| DATA_SOURCE | 0 | psd | $0 |
| DATA_SOURCE | 1 | rsp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 2 | cur_net | unit_byte |
| HALF_LOCKED2 | global &psp_devs_lock | ||
| HALF_LOCKED2 | 0 | &psd->lock |
net/psp/psp_nl.c psp_nl_dev_fill() -> psp_nl_fill_assoc_dev_list()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | psd | 4096-ptr_max |
| PARAM_VALUE | 0 | psd->caps | 4096-ptr_max |
| PARAM_VALUE | 0 | psd->main_netdev | 4096-ptr_max |
| PARAM_VALUE | 0 | psd->ops->get_stats | 3823889233340723200,6162714544096534528 |
| PARAM_VALUE | 0 | psd->ops->key_rotate | 6933127953319854080,8154089329649307648 |
| PARAM_VALUE | 0 | psd->ops->rx_spi_alloc | 3047414224378519552,3575284283401502720 |
| PARAM_VALUE | 0 | psd->ops->set_config | 2200979043546460160,5804929266083229696 |
| PARAM_VALUE | 0 | psd->ops->tx_key_add | 7003194218003664896,8619658840442175488 |
| PARAM_VALUE | 0 | psd->ops->tx_key_del | 2154436798808993792,7956816379992616960 |
| PARAM_VALUE | 1 | rsp | 4096-ptr_max |
| PARAM_VALUE | 1 | rsp->data_len | 0 |
| BUF_SIZE | 0 | psd | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | psd | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | psd->drv_priv | s32min-(-1),1-s32max |
| BUF_SIZE | 1 | rsp | (-1)-s32max |
| BUF_SIZE | 1 | rsp | (-1)-s32max |
| CAPPED_DATA | 0 | psd->main_netdev->nd_net.net | 1 |
| DATA_SOURCE | 0 | psd | $0 |
| DATA_SOURCE | 1 | rsp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 2 | cur_net | unit_byte |
| UNITS | 3 | filter_net | unit_byte |
| HALF_LOCKED2 | global &psp_devs_lock | ||
| HALF_LOCKED2 | 0 | &psd->lock |