r0 = getpid()
r1 = pidfd_open(r0, 0x0)
waitid$P_PIDFD(0x2, r1, 0x0, 0x4, 0x0)