syscall.sh / microblaze / mq_timedsend_time64

mq_timedsend_time64

send a message to a message queue

sys_mq_timedsend(mqd_t mqdes, const char *msg_ptr, size_t msg_len, unsigned int msg_prio, const struct __kernel_timespec *abs_timeout)

register	value
`r12`	418, the syscall number
`r5`	mqd_t mqdes
`r6`	const char *msg_ptr
`r7`	size_t msg_len
`r8`	unsigned int msg_prio
`r9`	const struct __kernel_timespec *abs_timeout
`r3`	the return value

Then run brki r14,8 to enter the kernel.

Same syscall on other architectures