Question about the doc of L4Re

lwf408498027 lwf408498027 at
Sun Sep 28 15:59:02 CEST 2014

Hi hackers,
I am learning the fiasco's source code recently, and I saw the doc in does not match with the code in l4re-snapshot-2014053111
such as: 
in class scheduler, there has some function:
L4_msg_tag sys_run(L4_fpage::Rights, Syscall_frame *f, Utcb const *utcb);
L4_msg_tag sys_idle_time(L4_fpage::Rights, Syscall_frame *f, Utcb *utcb);
L4_msg_tag sys_info(L4_fpage::Rights, Syscall_frame *f, Utcb const *iutcb, Utcb *outcb);

but in the document, the function are not the same:
l4_msgtag_t info (l4_umword_t *cpu_max, l4_sched_cpu_set_t *cpus, l4_utcb_t *utcb=l4_utcb()) const throw ()
l4_msgtag_t run_thread (Cap< Thread > const &thread, l4_sched_param_t const &sp, l4_utcb_t *utcb=l4_utcb()) const throw ()
l4_msgtag_t idle_time (l4_sched_cpu_set_t const &cpus, l4_utcb_t *utcb=l4_utcb()) const throw ()

So, Is this doc out of date? and if the answer is yes, where can i find some fresh doc? if no, How to use the doc correctly?

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the l4-hackers mailing list