Hi Mark,
0xf8000000 | 00000012 | [520 <--> 521 ]
This should cover memory in the range 0xf8000000-0xf8001fff
Your timer @ 0xF8F00200 is not in this range.
The global/private timers provided by Cortex-A9 CPU's are reserved for
the kernel scheduler.
Which platform are you using? Are there any other timers that you could
use on this platform?
- Alex
On Sat, 2016-11-12 at 12:59 -0500, Mark Reus wrote:
> Hi
>
>
> I want to map the arm global timer which is located at memory
> location 0xF8F00200 .
>
>
> However, when I am trying to get the physical frame using :
>
>
> error = simple_get_frame_cap(&simple, (void*)global_timer_paddr, 12,
> &ep_cap_path);
> if (error) {
> ZF_LOGE("Failed to find frame at paddr %p\n",
> global_timer_paddr);
> return error;
> }
>
>
> I get the Error Statement on stduout as "[email protected]:209 Failed to
> find frame at paddr 0xf8f00200"
>
>
>
>
> If i print the bootinfo during bootup, I can see that I have access to
> this region
>
>
> 0xf8000000 | 00000012 | [520 <--> 521 ]
>
>
> Can someone help me as why this issue may be caused? I know that this
> global timer is said to be mapped in the private region. But I do not
> what exactly that means and if we cannot do it.
>
>
> Regards
> Mark
> _______________________________________________
> Devel mailing list
> [email protected]
> https://sel4.systems/lists/listinfo/devel
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
