do_mq_timedsend identifier - Linux source code next-20260811 - Bootlin Elixir Cross Referencer

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

ipc/mqueue.c, line 1036 (as a function)

Referenced in 1 files:

ipc/mqueue.c
- line 1243
- line 1568

Smatch caller information:

ipc/mqueue.c __do_sys_mq_timedsend() -> do_mq_timedsend()

Type	Parameter	Key	Value
PARAM_VALUE	4	ts	0,4865762161889284096
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	msg_prio	$3
BIT_INFO	4	ts	0x0,0x4386a8e804f29000
BIT_INFO	4	ts	0x0,0x4386a8e804f29000
USER_DATA	0	mqdes	s32min-s32max
USER_DATA	1	u_msg_ptr	0-u64max
USER_DATA	2	msg_len	0-u64max
USER_DATA	3	msg_prio	0-u32max

ipc/mqueue.c __do_sys_mq_timedsend() -> do_mq_timedsend()

Type	Parameter	Key	Value
PARAM_VALUE	4	ts	0,4865762161889284096
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	msg_prio	$3
BIT_INFO	4	ts	0x0,0x4386a8e804f29000
BIT_INFO	4	ts	0x0,0x4386a8e804f29000
USER_DATA	0	mqdes	s32min-s32max
USER_DATA	1	u_msg_ptr	0-u64max
USER_DATA	2	msg_len	0-u64max
USER_DATA	3	msg_prio	0-u32max

ipc/mqueue.c __do_sys_mq_timedsend_time32() -> do_mq_timedsend()

Type	Parameter	Key	Value
PARAM_VALUE	4	ts	0,5437035966812540928
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	msg_prio	$3
BIT_INFO	4	ts	0x0,0x4b743b67b8e25000
BIT_INFO	4	ts	0x0,0x4b743b67b8e25000
USER_DATA	0	mqdes	s32min-s32max
USER_DATA	1	u_msg_ptr	0-u64max
USER_DATA	2	msg_len	0-u32max
USER_DATA	3	msg_prio	0-u32max
USER_DATA	4	ts->tv_nsec	0-999999999
USER_DATA	4	ts->tv_sec	0-s32max

ipc/mqueue.c __do_sys_mq_timedsend_time32() -> do_mq_timedsend()

Type	Parameter	Key	Value
PARAM_VALUE	4	ts	0,5437035966812540928
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	msg_prio	$3
BIT_INFO	4	ts	0x0,0x4b743b67b8e25000
BIT_INFO	4	ts	0x0,0x4b743b67b8e25000
USER_DATA	0	mqdes	s32min-s32max
USER_DATA	1	u_msg_ptr	0-u64max
USER_DATA	2	msg_len	0-u32max
USER_DATA	3	msg_prio	0-u32max
USER_DATA	4	ts->tv_nsec	0-999999999
USER_DATA	4	ts->tv_sec	0-s32max