Исправление mashina, 20.12.15 14:05 (текущая версия) :
Аргументы в x86_64 передауются сначала через регистры (п. 3.2.3) и только потом через стек.
Исходная версия mashina, 20.12.15 14:04:
Аргументы в x86_64 пепедауются сначала через регистры (п. 3.2.3) и только потом через стек.