syscall.sh / microblaze / mq_timedreceive

mq_timedreceive

receive a message from a message queue

sys_mq_timedreceive_time32(mqd_t mqdes, char *u_msg_ptr, unsigned int msg_len, unsigned int *u_msg_prio, const struct old_timespec32 *u_abs_timeout)

register	value
`r12`	280, the syscall number
`r5`	mqd_t mqdes
`r6`	char *u_msg_ptr
`r7`	unsigned int msg_len
`r8`	unsigned int *u_msg_prio
`r9`	const struct old_timespec32 *u_abs_timeout
`r3`	the return value

Then run brki r14,8 to enter the kernel.

Same syscall on other architectures