syscall.sh / microblaze / recvmmsg_time64

recvmmsg_time64

receive multiple messages on a socket

sys_recvmmsg(int fd, struct mmsghdr *mmsg, unsigned int vlen, unsigned int flags, struct __kernel_timespec *timeout)

register	value
`r12`	417, the syscall number
`r5`	int fd
`r6`	struct mmsghdr *mmsg
`r7`	unsigned int vlen
`r8`	unsigned int flags
`r9`	struct __kernel_timespec *timeout
`r3`	the return value

Then run brki r14,8 to enter the kernel.

Same syscall on other architectures