Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/microchip/vcap/vcap_api_debugfs.c vcap_show_admin() -> vcap_show_admin_rule()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | admin | 4096-ptr_max |
| PARAM_VALUE | 1 | admin->vctrl->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 2 | out | 6861516404181078016,9211869784952631296 |
| PARAM_VALUE | 2 | out->dst | 0,4096-ptr_max |
| PARAM_VALUE | 2 | out->prf | 1536091708646309888,3123065602919251968 |
| PARAM_VALUE | 3 | ri | 4096-ptr_max |
| CAPPED_DATA | 1 | &admin->rules | 1 |
| DATA_SOURCE | 0 | vctrl | $0 |
| DATA_SOURCE | 1 | admin | $1 |
| DATA_SOURCE | 2 | out | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &m->lock | ||
| HALF_LOCKED2 | 1 | &admin->vctrl->lock |