ioprio_set$pid(0x2, 0x0, 0x4000)
r0 = getpid()
ioprio_get$pid(0x2, r0)