semtimedop_time64 on ia32

System V semaphore operations

sys_semtimedop(int semid, struct sembuf *sops, unsigned nsops, const struct __kernel_timespec *timeout)

Registers

register	value
`eax`	420, the syscall number
`ebx`	int semid
`ecx`	struct sembuf *sops
`edx`	unsigned nsops
`esi`	const struct __kernel_timespec *timeout
`eax`	the return value

Then run int 0x80 to enter the kernel.

This compat ABI is only available when the kernel is built with CONFIG_IA32_EMULATION.