https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65070
--- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> --- (In reply to Nadav Har'El from comment #4) > *That* is the Linux ABI, not the x86-64 instruction. Actually the Linux ABI is just the syscall ABI, nothing more and nothing less. The GNU/Linux ABI (glibc) is built on top of the syscall ABI.
