L4Linux interface to convert physical address to machine address

Olujide Adeola olujide_adeola at yahoo.co.uk
Wed Aug 5 18:23:10 CEST 2015

Hi guys,
Apologies if this question has already been answered elsewhere on this mailing list. We are porting our driver to L4Linux but having issues with the page_to_phys() Linux function, what's the L4Linux API to map a VM physical address to a machine address which can be programmed into the DMA registers of a peripheral device on the system bus. Note on terminology, (virtual address <-> physical address <-> machine address).


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20150805/4ab9fd01/attachment.html>

More information about the l4-hackers mailing list