Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/rds/send.c rds_send_ping() -> rds_send_probe()

Type Parameter Key Value
PARAM_VALUE 0 cp 4096-ptr_max
PARAM_VALUE 0 cp->cp_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 sport 1
PARAM_VALUE 2 dport 0
PARAM_VALUE 3 h_flags 0
NOCHECK_CALL
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &rs_tcp->t_conn_path_lock
HALF_LOCKED2 &rtn->rds_tcp_accept_lock

net/rds/send.c rds_send_pong() -> rds_send_probe()

Type Parameter Key Value
PARAM_VALUE 0 cp 4096-ptr_max
PARAM_VALUE 1 sport 0
PARAM_VALUE 2 dport 1-u16max
PARAM_VALUE 3 h_flags 0
DATA_SOURCE 0 cp $0
DATA_SOURCE 2 dport $1
RX_PATH
TASK_NOT_RUNNING