Open Menu /

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

net/mptcp/protocol.c __mptcp_clean_una() -> before64()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 seq1 unit_byte
UNITS 1 seq2 unit_byte
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh

net/mptcp/protocol.c __mptcp_clean_una() -> before64()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 seq1 unit_byte
UNITS 1 seq2 unit_byte
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh

net/mptcp/protocol.c __mptcp_clean_una() -> before64()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 seq1 unit_byte
UNITS 1 seq2 unit_byte
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh

net/mptcp/protocol.c __mptcp_move_skb() -> before64()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 seq1 unit_byte
UNITS 1 seq2 unit_byte
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh

net/mptcp/protocol.c __mptcp_move_skb() -> before64()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 seq1 unit_byte
UNITS 1 seq2 unit_byte
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh

net/mptcp/protocol.c __mptcp_ofo_queue() -> before64()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 seq1 unit_byte
UNITS 1 seq2 unit_byte
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh

net/mptcp/protocol.c __mptcp_ofo_queue() -> before64()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 seq1 unit_byte
UNITS 1 seq2 unit_byte
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh

net/mptcp/protocol.c __mptcp_retrans() -> before64()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 seq1 unit_byte
UNITS 1 seq2 unit_byte
HALF_LOCKED2 sk

net/mptcp/protocol.c __mptcp_retrans() -> before64()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 seq1 unit_byte
UNITS 1 seq2 unit_byte
HALF_LOCKED2 sk

net/mptcp/protocol.c __mptcp_retrans() -> before64()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
UNITS 0 seq1 unit_byte
UNITS 1 seq2 unit_byte
LOCK2 &sk->sk_lock.slock
LOCK2 bh
HALF_LOCKED2 sk
TYPE_LOCK (struct socket_lock_t)->slock

net/mptcp/protocol.c __mptcp_retrans() -> before64()

Type Parameter Key Value
PARAM_COMPARE 1 seq2 == $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
UNITS 0 seq1 unit_byte
UNITS 1 seq2 unit_byte
LOCK2 &sk->sk_lock.slock
LOCK2 bh
HALF_LOCKED2 sk
TYPE_LOCK (struct socket_lock_t)->slock

net/mptcp/protocol.c mptcp_data_queue_ofo() -> before64()

Type Parameter Key Value
BIT_INFO 0 seq1 0x0,0x7fffffffffffffff
BIT_INFO 0 seq1 0x0,0x7fffffffffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 1 seq2 unit_byte
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh

net/mptcp/protocol.c mptcp_data_queue_ofo() -> before64()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 seq1 unit_byte
UNITS 1 seq2 unit_byte
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh

net/mptcp/protocol.c mptcp_data_queue_ofo() -> before64()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 seq1 unit_byte
UNITS 1 seq2 unit_byte
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh

net/mptcp/protocol.c mptcp_data_queue_ofo() -> before64()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 seq1 unit_byte
UNITS 1 seq2 unit_byte
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh

net/mptcp/protocol.c mptcp_data_queue_ofo() -> before64()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 seq1 unit_byte
UNITS 1 seq2 unit_byte
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh

net/mptcp/protocol.c mptcp_data_queue_ofo() -> before64()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 seq1 unit_byte
UNITS 1 seq2 unit_byte
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh

net/mptcp/protocol.c mptcp_data_queue_ofo() -> before64()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 seq1 unit_byte
UNITS 1 seq2 unit_byte
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh

net/mptcp/protocol.c mptcp_prune_ofo_queue() -> before64()

Type Parameter Key Value
UNITS 0 seq1 unit_byte
UNITS 1 seq2 unit_byte

net/mptcp/protocol.c mptcp_update_post_push() -> before64()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 seq1 unit_byte
UNITS 1 seq2 unit_byte
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh

net/mptcp/options.c ack_update_msk() -> before64()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
UNITS 0 seq1 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 ack_update_msk() -> before64()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
UNITS 0 seq1 unit_byte
UNITS 1 seq2 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 ack_update_msk() -> before64()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
UNITS 0 seq1 unit_byte
UNITS 1 seq2 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 ack_update_msk() -> before64()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
UNITS 0 seq1 unit_byte
UNITS 1 seq2 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_set_rwin() -> before64()

Type Parameter Key Value
BIT_INFO 0 seq1 0x0,0x7fffffffffffffff
BIT_INFO 0 seq1 0x0,0x7fffffffffffffff
RX_PATH
TASK_NOT_RUNNING
UNITS 1 seq2 unit_byte
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 rcu_read
HALF_LOCKED2 sk

net/mptcp/options.c mptcp_set_rwin() -> before64()

Type Parameter Key Value
BIT_INFO 1 seq2 0x0,0x7fffffffffffffff
BIT_INFO 1 seq2 0x0,0x7fffffffffffffff
RX_PATH
TASK_NOT_RUNNING
UNITS 0 seq1 unit_byte
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 rcu_read
HALF_LOCKED2 sk

net/mptcp/options.c rwin_update() -> before64()

Type Parameter Key Value
BIT_INFO 1 seq2 0x0,0x7fffffffffffffff
BIT_INFO 1 seq2 0x0,0x7fffffffffffffff
RX_PATH
TASK_NOT_RUNNING
UNITS 0 seq1 unit_byte
HALF_LOCKED2 &ssk->sk_lock.slock
HALF_LOCKED2 ssk

net/mptcp/subflow.c subflow_check_data_avail() -> before64()

Type Parameter Key Value
DATA_SOURCE 0 seq1 r mptcp_subflow_get_mapped_dsn
PREEMPT_ADD
UNITS 1 seq2 unit_byte
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh