L4RE compile error in file rt_sched-proto.h

Wei Jin coder.soap at gmail.com
Wed Dec 18 09:29:28 CET 2013

Hi all!

I got several errors while compiling L4RE(r59). It's about real-time
scheduling extension headers in L4RE(file 'pkg/l4sys/ARCH-x86/rt_sched.h',

Here's the mesage:

In file included from

fatal error: l4/sys/syscalls.h: No such file or directory

I can't find any header named "syscalls.h" in pkg/l4sys, so I comment it.

Then I got more errors:

In file included from
error: unknown type name ‘l4_low_high_t’

error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or ‘__attribute__’ before ‘slice’

error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or ‘__attribute__’ before ‘slice’

error: unknown type name ‘l4_threadid_t’

I can't find the definition of 'l4_low_high_t' and 'l4_threadid_t' in L4RE,
but instead I found them in the legacy l4env:

typedef struct {
    l4_umword_t low;
    l4_umword_t high;
} l4_low_high_t;

tyoedef union {
    l4_uint32_t raw;
    l4_threadid_struct_t id;
} l4_threadid_t;

Should I define them the same as l4env?

The declairation 'L4_INLINE int l4_rt_add_time slice(l4_threadid_t dest,
int prio, int time)", which also appears in the online doc(
seems strange.
Is it a typo? "l4_rt_add_time_slice" seems reasonable.

I'm not sure whether these are proper ways to fix so I need some help.
Any advice would be appreciated.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20131218/9a00db92/attachment.html>

More information about the l4-hackers mailing list