Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
net/mptcp/options.c ack_update_msk() -> mptcp_expand_seq()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | old_seq | unit_byte |
| LOCK2 | &sk->sk_lock.slock | ||
| LOCK2 | bh | ||
| HALF_LOCKED2 | &ssk->sk_lock.slock | ||
| HALF_LOCKED2 | ssk | ||
| TYPE_LOCK | (struct socket_lock_t)->slock |
net/mptcp/options.c mptcp_update_rcv_data_fin() -> mptcp_expand_seq()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 1 | cur_seq | $1 |
| DATA_SOURCE | 2 | use_64bit | $2 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | old_seq | unit_byte |
| UNITS | 1 | cur_seq | unit_byte |
net/mptcp/subflow.c get_mapping_status() -> mptcp_expand_seq()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PREEMPT_ADD | |||
| UNITS | 0 | old_seq | unit_byte |
| UNITS | 1 | cur_seq | unit_byte |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | bh |