[tpush]

Might get removed in the future [0], though!

[0] https://lwn.net/Articles/774734/

[planede]

Ah, too bad. I wonder why it needs a distinct Linux syscall interface though. There must be a reason why the existing x86_64 or x86 syscalls could not be used for x32.