Defined in 1 files as a variable:

Defined in 8 files as a member:

Defined in 2 files as a macro:

Defined in 1 files as a function:

Referenced in 130 files:

Smatch caller information:

net/rxrpc/io_thread.c rxrpc_input_packet_on_conn() -> after()

Type Parameter Key Value

net/rxrpc/output.c rxrpc_fill_out_ack() -> after()

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

net/rxrpc/output.c rxrpc_prepare_data_subpacket() -> after()

Type Parameter Key Value
UNITS 1 seq2 unit_byte

net/rxrpc/peer_event.c rxrpc_input_probe_for_pmtud() -> after()

Type Parameter Key Value
PARAM_VALUE 1 seq2 1-u32max
DATA_SOURCE 0 seq1 $1

net/rxrpc/conn_event.c rxrpc_post_response() -> after()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
TASK_NOT_RUNNING
LOCK2 &local->lock
LOCK2 irq
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct rxrpc_local)->lock

net/rxrpc/recvmsg.c rxrpc_rotate_rx_window() -> after()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 seq1 unit_byte
UNITS 1 seq2 unit_byte
LOCK2 &call->user_mutex
TYPE_LOCK (struct rxrpc_call)->user_mutex

net/rxrpc/call_event.c rxrpc_resend() -> after()

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

net/rxrpc/input_rack.c rxrpc_rack_detect_loss() -> after()

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

net/rxrpc/input_rack.c rxrpc_rack_detect_reordering() -> after()

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

net/rxrpc/input_rack.c rxrpc_rack_mark_losses_on_rto() -> after()

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

net/rxrpc/input_rack.c rxrpc_rack_sent_after() -> after()

Type Parameter Key Value
DATA_SOURCE 0 seq1 $1
DATA_SOURCE 1 seq2 $3
UNITS 0 seq1 unit_byte
UNITS 1 seq2 unit_byte

net/rxrpc/input_rack.c rxrpc_tlp_process_ack() -> after()

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

net/rxrpc/input_rack.c rxrpc_tlp_process_ack() -> after()

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

net/rxrpc/input_rack.c rxrpc_tlp_send_probe() -> after()

Type Parameter Key Value
UNITS 1 seq2 unit_byte

net/rxrpc/input.c rxrpc_complete_rtt_probe() -> after()

Type Parameter Key Value
PARAM_VALUE 0 seq1 1-u32max
PARAM_VALUE 1 seq2 1-u32max
CAPPED_DATA 0 seq1 1
CAPPED_DATA 1 seq2 1
DATA_SOURCE 0 seq1 $2
UNITS 0 seq1 unit_byte
UNITS 1 seq2 unit_byte

net/rxrpc/input.c rxrpc_input_ack() -> after()

Type Parameter Key Value
PARAM_VALUE 0 seq1 1-u32max
UNITS 1 seq2 unit_byte

net/rxrpc/input.c rxrpc_input_ack() -> after()

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

net/rxrpc/input.c rxrpc_input_ack() -> after()

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

net/rxrpc/input.c rxrpc_input_data_one() -> after()

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

net/rxrpc/input.c rxrpc_input_data_one() -> after()

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

net/rxrpc/input.c rxrpc_input_data_one() -> after()

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

net/rxrpc/input.c rxrpc_input_data_one() -> after()

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

net/rxrpc/input.c rxrpc_input_data_one() -> after()

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

net/rxrpc/input.c rxrpc_input_data_one() -> after()

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

net/rxrpc/input.c rxrpc_input_soft_acks() -> after()

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

net/rxrpc/input.c rxrpc_input_soft_acks() -> after()

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

net/rxrpc/input.c rxrpc_is_ack_valid() -> after()

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

net/rxrpc/input.c rxrpc_is_ack_valid() -> after()

Type Parameter Key Value
DATA_SOURCE 0 seq1 $2
UNITS 0 seq1 unit_byte
UNITS 1 seq2 unit_byte

net/rxrpc/input.c rxrpc_rotate_tx_window() -> after()

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

net/rxrpc/input.c rxrpc_rotate_tx_window() -> after()

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