Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ppp/ppp_generic.c ppp_receive_mp_frame() -> ppp_mp_reconstruct()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ppp | 4096-ptr_max |
| PARAM_VALUE | 0 | ppp->closing | 0 |
| PARAM_VALUE | 0 | ppp->mrru | s32min-(-1),1-s32max |
| PARAM_VALUE | 0 | ppp->rcomp->compress_proto | 18,21,24,26 |
| PARAM_VALUE | 0 | ppp->rcomp->incomp | 4096-ptr_max |
| PARAM_VALUE | 0 | ppp->rlock.rlock.dep_map->name | 0-255 |
| CAPPED_DATA | 0 | &ppp->channels | 1 |
| CAPPED_DATA | 0 | &ppp->mrq | 1 |
| DATA_SOURCE | 0 | ppp | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | ppp->minseq | 0-u32max[c] |
| LOCK2 | bh | ||
| LOCK2 | rcu_read | ||
| LOCK2 | 0 | &ppp->rlock | |
| HALF_LOCKED2 | &network->close_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct ppp)->rlock |
drivers/net/ppp/ppp_generic.c ppp_receive_mp_frame() -> ppp_mp_reconstruct()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ppp | 4096-ptr_max |
| PARAM_VALUE | 0 | ppp->closing | 0 |
| PARAM_VALUE | 0 | ppp->mrq.next->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | ppp->mrq.next->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | ppp->mrq.next->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | ppp->mrru | s32min-(-1),1-s32max |
| PARAM_VALUE | 0 | ppp->rcomp->compress_proto | 18,21,24,26 |
| PARAM_VALUE | 0 | ppp->rcomp->incomp | 4096-ptr_max |
| PARAM_VALUE | 0 | ppp->rlock.rlock.dep_map->name | 0-255 |
| CAPPED_DATA | 0 | &ppp->channels | 1 |
| CAPPED_DATA | 0 | &ppp->mrq | 1 |
| DATA_SOURCE | 0 | ppp | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | ppp->minseq | 0-u32max[c] |
| LOCK2 | bh | ||
| LOCK2 | rcu_read | ||
| LOCK2 | 0 | &ppp->rlock | |
| HALF_LOCKED2 | &network->close_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct ppp)->rlock |