mq_timedsend

send a message to a message queue

sys_mq_timedsend_time32(mqd_t mqdes, const char *u_msg_ptr, unsigned int msg_len, unsigned int msg_prio, const struct old_timespec32 *u_abs_timeout)

register	value
`r12`	279, the syscall number
`r5`	mqd_t mqdes
`r6`	const char *u_msg_ptr
`r7`	unsigned int msg_len
`r8`	unsigned int 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