Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/switchdev/switchdev.c switchdev_port_obj_add_defer() -> switchdev_obj_size()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | obj | 4096-ptr_max |
| PARAM_VALUE | 0 | obj->complete | 0,7429875107731611648 |
| PARAM_VALUE | 0 | obj->flags | 0,4,8 |
| PARAM_VALUE | 0 | obj->id | 1-10 |
| DATA_SOURCE | 0 | obj | $1 |
| BIT_INFO | 0 | obj->flags | 0x4,0xf |
| HARD_MAX | 0 | obj->flags | 8 |
| HARD_MAX | 0 | obj->id | 10 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING |
net/switchdev/switchdev.c switchdev_port_obj_del_defer() -> switchdev_obj_size()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | obj | 82341264357859328,1523608716381589504,2582455064213749760,5064711521731874816,5447812287996518400,5493248350489591808,7211363732319375360,7884242569249677312 |
| PARAM_VALUE | 0 | obj->complete | 0 |
| PARAM_VALUE | 0 | obj->flags | 0,4 |
| PARAM_VALUE | 0 | obj->id | 1-6,8-9 |
| DATA_SOURCE | 0 | obj | $1 |
| BIT_INFO | 0 | obj->flags | 0x4,0x7 |
| HARD_MAX | 0 | obj->flags | 4 |
| HARD_MAX | 0 | obj->id | 9 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING |