Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ppp/ppp_async.c ppp_async_input() -> process_input_packet()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ap | 4096-ptr_max |
| BUF_SIZE | 0 | ap | 16,120,192,376,480,512,520,1552,4648,9144 |
| BUF_SIZE | 0 | ap | 16,120,192,376,480,512,520,1552,4648,9144 |
| BUF_SIZE | 0 | ap->rpkt | (-1)-s32max |
| DATA_SOURCE | 0 | ap | $0 |
| NOCHECK_CALL | |||
| USER_DATA | 0 | ap->rbits | 0-u32max[c][u] |
| USER_PTR | 0 | ap->rpkt->data | |
| LOCK2 | flags | ||
| LOCK2 | 0 | &ap->recv_lock | |
| HALF_LOCKED2 | &tty->ldisc_sem | ||
| HALF_LOCKED2 | &tty->port->buf.lock | ||
| TYPE_LOCK | (struct asyncppp)->recv_lock |