[okl4-developer] virtual to physical in kernel

[Gabi Voiculescu]

Hello.

I have a question related to the ARMv6 version of OKL4.

I am currently doing a test at kernel level (actually in the interrupt handling subroutine) requiring me obtain the physical address of a memory section described by a fpage_t object.

I don't know what is the best function to convert from base virtual address to base physical address.

My code looks like this:

uintptr_t test_get_phys (fpage_t test_fpage)
{
uintptr_t vaddr;
uintptr_t paddr;

vaddr = test_fpage.get_base();


I saw a way of doing this by using (for armv6):

paddr = l4e_get_phys (get_current_tcb()->get_space(), vaddr);

but it seems to be a higher level implementation than I am looking for.

Can you help me?

Thank you,
Gabi Voiculescu


       
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.okl4.org/pipermail/developer/attachments/20080608/a5a1677b/attachment.htm