Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

ipc/msg.c compat_do_msg_fill() -> store_msg()

Type Parameter Key Value
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 2 len 0-9223372036854775807
BUF_SIZE 1 msg (-1)-0,48-4096
BUF_SIZE 1 msg (-1)-0,48-4096
CAPPED_DATA 1 msg->m_ts 1
CAPPED_DATA 2 len 1
CAPPED_DATA 2 len 1
DATA_SOURCE 1 msg $1
USER_DATA 2 len 0-s32max[c]

ipc/msg.c do_msg_fill() -> store_msg()

Type Parameter Key Value
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 2 len 0-9223372036854775807
BUF_SIZE 0 dest 1
BUF_SIZE 1 msg (-1)-0,48-4096
BUF_SIZE 1 msg (-1)-0,48-4096
CAPPED_DATA 1 msg->m_ts 1
CAPPED_DATA 2 len 1
CAPPED_DATA 2 len 1
DATA_SOURCE 1 msg $1
USER_DATA 2 len 0-s32max[c]

ipc/mqueue.c do_mq_timedreceive() -> store_msg()

Type Parameter Key Value
PARAM_VALUE 1 msg 4096-ptr_max
DATA_SOURCE 0 dest $1
HALF_LOCKED2 &info->lock