Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 4 ts 0,6890280507805425664
PARAM_VALUE 4 ts->tv_nsec 0-999999999
PARAM_VALUE 4 ts->tv_sec 0-s64max
BUF_SIZE 4 ts 0,16
BUF_SIZE 4 ts 0,16
DATA_SOURCE 0 mqdes $0
DATA_SOURCE 1 u_msg_ptr $1
DATA_SOURCE 2 msg_len $2
DATA_SOURCE 3 u_msg_prio $3
BIT_INFO 4 ts 0x0,0x5f9f319d968a6000
BIT_INFO 4 ts 0x0,0x5f9f319d968a6000
USER_DATA 0 mqdes s32min-s32max
USER_DATA 1 u_msg_ptr 0-u64max
USER_DATA 2 msg_len 0-u64max
USER_DATA 3 u_msg_prio 0-u64max

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

Type Parameter Key Value
PARAM_VALUE 4 ts 0,6890280507805425664
PARAM_VALUE 4 ts->tv_nsec 0-999999999
PARAM_VALUE 4 ts->tv_sec 0-s64max
BUF_SIZE 4 ts 0,16
BUF_SIZE 4 ts 0,16
DATA_SOURCE 0 mqdes $0
DATA_SOURCE 1 u_msg_ptr $1
DATA_SOURCE 2 msg_len $2
DATA_SOURCE 3 u_msg_prio $3
BIT_INFO 4 ts 0x0,0x5f9f319d968a6000
BIT_INFO 4 ts 0x0,0x5f9f319d968a6000
USER_DATA 0 mqdes s32min-s32max
USER_DATA 1 u_msg_ptr 0-u64max
USER_DATA 2 msg_len 0-u64max
USER_DATA 3 u_msg_prio 0-u64max

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

Type Parameter Key Value
PARAM_VALUE 4 ts 0,5943018718724448256
PARAM_VALUE 4 ts->tv_nsec 0-999999999
PARAM_VALUE 4 ts->tv_sec 0-s32max
BUF_SIZE 4 ts 0,16
BUF_SIZE 4 ts 0,16
DATA_SOURCE 0 mqdes $0
DATA_SOURCE 1 u_msg_ptr $1
DATA_SOURCE 2 msg_len $2
DATA_SOURCE 3 u_msg_prio $3
BIT_INFO 4 ts 0x0,0x5279d80987116000
BIT_INFO 4 ts 0x0,0x5279d80987116000
USER_DATA 0 mqdes s32min-s32max
USER_DATA 1 u_msg_ptr 0-u64max
USER_DATA 2 msg_len 0-u32max
USER_DATA 3 u_msg_prio 0-u64max
USER_DATA 4 ts->tv_nsec 0-999999999
USER_DATA 4 ts->tv_sec 0-s32max

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

Type Parameter Key Value
PARAM_VALUE 4 ts 0,5943018718724448256
PARAM_VALUE 4 ts->tv_nsec 0-999999999
PARAM_VALUE 4 ts->tv_sec 0-s32max
BUF_SIZE 4 ts 0,16
BUF_SIZE 4 ts 0,16
DATA_SOURCE 0 mqdes $0
DATA_SOURCE 1 u_msg_ptr $1
DATA_SOURCE 2 msg_len $2
DATA_SOURCE 3 u_msg_prio $3
BIT_INFO 4 ts 0x0,0x5279d80987116000
BIT_INFO 4 ts 0x0,0x5279d80987116000
USER_DATA 0 mqdes s32min-s32max
USER_DATA 1 u_msg_ptr 0-u64max
USER_DATA 2 msg_len 0-u32max
USER_DATA 3 u_msg_prio 0-u64max
USER_DATA 4 ts->tv_nsec 0-999999999
USER_DATA 4 ts->tv_sec 0-s32max