Hi,
I am trying to get the machine physiscal address correspinding to a
segment I have defined in my image.xml file. (I want to avoid hardcoding
the physical address in my software).
Looking up the segment works, but I have a question on
okl4_env_get_physseg_page. Reading the OKL4lib ref manual, I understand
it fills up a physmem_item with information about the physical memory
backing a segment.
However, looking at it's implementation, it appears that the physitem's
paddr field is not modified by this function (and remains 0). Only the
range parameters are modified, using the virtual address of the segment.
Is that the correct behaviour ? If yes, I misunderstood the ref manual,
and in this case I would like to know how to get the physical address of
a segment...
Thanks in advance,
Stephan.
_______________________________________________
Developer mailing list
[hidden email]
https://lists.okl4.org/mailman/listinfo/developer
