Defined in 1 files as a function:
Referenced in 3 files:
- drivers/net/ethernet/mscc/ocelot.c, line 1332
- drivers/net/ethernet/mscc/ocelot_fdma.c, line 362
- net/dsa/tag_ocelot.c, line 103
Smatch caller information:
drivers/net/ethernet/mscc/ocelot.c ocelot_xtr_poll_frame() -> ocelot_xfh_get_src_port()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | extraction | 593178937444622336 |
| PARAM_VALUE | 1 | src_port | 3555537729481789440 |
| BUF_SIZE | 0 | extraction | 16 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &ocelot->inj_lock | ||
| TYPE_LOCK | (struct ocelot)->inj_lock |
net/dsa/tag_ocelot.c ocelot_rcv() -> ocelot_xfh_get_src_port()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | extraction | 4096-ptr_max |
| PARAM_VALUE | 1 | src_port | 7567871161183854592 |
| BUF_SIZE | 0 | extraction | 1-s32max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | extraction | unit_byte |
| USER_PTR | 0 | extraction | |
| HALF_LOCKED2 | rcu_read |
drivers/net/ethernet/mscc/ocelot_fdma.c ocelot_fdma_receive_skb() -> ocelot_xfh_get_src_port()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | src_port | 101525073272168448 |
| BUF_SIZE | 0 | extraction | 1-s32max |
| BUF_SIZE | 0 | extraction | 1-s32max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | extraction | unit_byte |
| HALF_LOCKED2 | &ni->dev_lock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu_read |