Typo in L4 X.2 Reference Manual r6?

Farid Hajji <[email protected]> Sun, 18 Jul 2010 20:14:08 +0200

Newsgroups	gmane.comp.micro-kernel.l4.l4ka.general
Message-ID	<[email protected]>

Hello,

IMHO, there's a typo in the following spec:
  http://l4ka.org/projects/pistachio/l4-x2-r6.pdf

At page 169, G.2 AMD64 Interface, Systemcalls,
the output of the SCHEDULE syscall looks wrong.

Instead of:
  RAX: time control. All other regs: ~
shouldn't it be:
  RAX: result, RDX: time control, All others: ~

according to user/include/l4/amd64/syscalls.h?

-Farid.