Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/handshake/request.c handshake_req_destroy() -> (struct handshake_proto)->hp_destroy()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->hr_proto 4096-ptr_max
PARAM_VALUE 0 req->hr_proto->hp_accept 0,821294299859202048,1188641593598373888
PARAM_VALUE 0 req->hr_proto->hp_destroy 4440341451340406784
PARAM_VALUE 0 req->hr_proto->hp_done 0,2334098356337422336,4390313254768701440
PARAM_VALUE 0 req->hr_proto->hp_flags 0-1
PARAM_VALUE 0 req->hr_proto->hp_handler_class 0-2
PARAM_VALUE 0 req->hr_proto->hp_privsize 0,80,u32max
BUF_SIZE 0 req s32min,(-1),64,144
BUF_SIZE 0 req s32min,(-1),64,144
BUF_SIZE 0 req->hr_file (-1)-s32max
BUF_SIZE 0 req->hr_proto (-1),48
DATA_SOURCE 0 req $0
CONTAINER 0 -40-32+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL