Hi, On Wed Aug 05, 2015 at 16:23:10 +0000, Olujide Adeola wrote: > 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).
I need to understand what you are meaning with "VM physical". Is that a virtual address valid within the Linux kernel? Or is it a physical address in the context of the Linux kernel? Is the "VM physical" address the physical address you're actually looking for? So, virt_to_phys() is doing the conversion from an in-kernel virtual address to the host physical / DMA address. page_to_phys() is just a wrapper and is using virt_to_phys(). Adam -- Adam a...@os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/ _______________________________________________ l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
