Thanks, Farid, for pointing this out. The spec is just wrong here. I've fixed this in the current spec snaphot, which is available at http://hg.l4ka.org/l4ka-pistachio-ref/l4-x2.pdf and is referenced on the l4ka.org top page on the right site. The snapshot will soon become rev7 (and be advertised so on the pistachio subpage of l4ka.org).
Best, -Jan -- Dr.-Ing. Jan Stoess KIT/UKa System Architecture Group Phone: +49 (721) 608 4056 Fax: +49 (721) 608 7664 http://os.ibds.kit.edu/stoess > -----Original Message----- > From: l4ka-boun...@ira.uni-karlsruhe.de [mailto:l4ka-boun...@ira.uni- > karlsruhe.de] On Behalf Of Farid Hajji > Sent: Sunday, July 18, 2010 20:14 > To: l...@ira.uni-karlsruhe.de > Subject: Typo in L4 X.2 Reference Manual r6? > > 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.