Aah, OK, that that clears it up.  I saw that the upper 32 bits went
into %edx on i386, but didn't know if anything was supposed to
parallel this on amd64 or not.  Thanks for the clue. ;)

BTW, what is the operational distinction between syscall_plain() and
syscall_fancy()?

Regards,

--Blair