Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/dlm/midcomms.c dlm_midcomms_receive_buffer() -> dlm_receive_buffer()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->header.h_cmd 1-2
PARAM_VALUE 0 p->header.h_length 16-u16max
CAPPED_DATA 1 nodeid 1
DATA_SOURCE 0 p $0
NOCHECK_CALL
UNITS 0 p unit_byte
LOCK2 global &nodes_srcu
HALF_LOCKED2 &pool->lock

fs/dlm/midcomms.c dlm_midcomms_receive_buffer_3_1() -> dlm_receive_buffer()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->header.h_cmd 1-2
BUF_SIZE 0 p (-1),1-s32max
BUF_SIZE 0 p (-1),1-s32max
CAPPED_DATA 1 nodeid 1
DATA_SOURCE 0 p $0
DATA_SOURCE 1 nodeid $1
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

fs/dlm/midcomms.c dlm_midcomms_receive_buffer_3_2() -> dlm_receive_buffer()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->header.h_cmd 2
PARAM_VALUE 0 p->rcom.rc_type 1-2,5-6
BUF_SIZE 0 p (-1),1-s32max
BUF_SIZE 0 p (-1),1-s32max
CAPPED_DATA 1 nodeid 1
DATA_SOURCE 0 p $0
DATA_SOURCE 1 nodeid $1
NOCHECK_CALL
LOCK2 global &nodes_srcu
HALF_LOCKED2 &pool->lock