Open Menu /

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

net/ipv4/tcp.c tcp_enable_tx_delay() -> minmax_reset()

Type Parameter Key Value
PARAM_VALUE 0 m 4096-ptr_max
PARAM_VALUE 2 meas u32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 sk

net/ipv4/tcp.c tcp_init_sock() -> minmax_reset()

Type Parameter Key Value
PARAM_VALUE 0 m 4096-ptr_max
PARAM_VALUE 2 meas u32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &bt_proto_lock

lib/win_minmax.c minmax_running_max() -> minmax_reset()

Type Parameter Key Value
PARAM_VALUE 0 m 4096-ptr_max
PARAM_VALUE 0 m->s 4096-ptr_max
DATA_SOURCE 0 m $0
DATA_SOURCE 1 t $2
DATA_SOURCE 2 meas $3
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

lib/win_minmax.c minmax_running_min() -> minmax_reset()

Type Parameter Key Value
PARAM_VALUE 0 m 4096-ptr_max
PARAM_VALUE 0 m->s 4096-ptr_max
PARAM_VALUE 2 meas 1-u32max
DATA_SOURCE 0 m $0
DATA_SOURCE 1 t $2
DATA_SOURCE 2 meas $3
RX_PATH
TASK_NOT_RUNNING

net/ipv4/tcp_minisocks.c tcp_create_openreq_child() -> minmax_reset()

Type Parameter Key Value
PARAM_VALUE 0 m 4096-ptr_max
PARAM_VALUE 2 meas u32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read
HALF_LOCKED2 sk

net/ipv4/tcp_bbr.c bbr_init() -> minmax_reset()

Type Parameter Key Value
PARAM_VALUE 0 m 4096-ptr_max
PARAM_VALUE 1 t 0
PARAM_VALUE 2 meas 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 rcu_read
HALF_LOCKED2 sk