syscall.sh / microblaze / timer_settime64

timer_settime64

arm/disarm and fetch state of POSIX per-process timer

sys_timer_settime(timer_t timer_id, int flags, const struct __kernel_itimerspec *new_setting, struct __kernel_itimerspec *old_setting)

register	value
`r12`	409, the syscall number
`r5`	timer_t timer_id
`r6`	int flags
`r7`	const struct __kernel_itimerspec *new_setting
`r8`	struct __kernel_itimerspec *old_setting
`r3`	the return value

Then run brki r14,8 to enter the kernel.

Same syscall on other architectures