question about read clock API in ARM

cheng guanghui cheng.guanghui.ml at gmail.com
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.

                        Cheng

On Sun, Aug 7, 2011 at 12:29 AM, 박찬주 <beastworld at gmail.com> 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 os.inf.tu-dresden.de
> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
>




More information about the l4-hackers mailing list