question about read clock API in ARM

cheng guanghui at
Sun Aug 7 08:59:25 CEST 2011

          You can get the timer counter from l4_kernel_info_t in the
kernel interface page in the file l4sys/include/__kip-32bit.h in the
L4Re programming environment.


On Sun, Aug 7, 2011 at 12:29 AM, 박찬주 <beastworld at> wrote:
> Hello, I'm newbie in L4 and now i'm trying to find out how to get
> system clock info.
> My test environment is QEMU,  ARM realview EB.
> In fiasco kernel, there is a function to read system's clock
>     Clock::read_count(){ return Io::read<Mword>(SYS_24MHZ); }
> then how can I use this in l4re application?
> Is there any related API in l4re?
> Thanks in advance,
> david
> _______________________________________________
> l4-hackers mailing list
> l4-hackers at

More information about the l4-hackers mailing list