iommu: removed frame_identify which is only used for debugging

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

Remove invoke_frame_identify, replaced with frame_identify().

This commit fully removes the Frame_Identify invocation and replaces the
calls with frame_identify().
Additionally, because the KCB is special, this commit introduces a new
invocation kcb_identify() which translates the lvaddr in the KCB
capability into the pysical address of the kernel control block.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

iommu: use the new prolog interface

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

Sockeye: Fix for new state

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

Integrate new model interface part 2

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

iommu: addig an iommu id

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

kaluga: start pci with all iommu endpoints

Required changes to order in discovery of skb facts acpi/pci/kaluga etc.
Further reversed the direction of pci/iommu channel setup

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

driverkit/iommu: don't free slots when doing RPCs

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

iommu: passing count to the iommu driver

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

iommu: preliminary support for mapping more than one page at once

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

iommu: handling of map/unmap in the device to enable tlb flushes of the iommu

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

iommu: add nodeid to getvmconfig call

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

iommu: passing of mapping flags and varioius bugfixes in the mapping code

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

iommu: allocating slot for the mapping cap

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

iommu: fix domain creation to not fail when there are domains available

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

iommu: retype with the correct object size

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

iommu: adding new lines to debug outputs

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

iommu: implementation of cap retype

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

iommu: setting up devices and cache flushes

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

kaluga: requesting iommu endpoint cap for device drivers

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

iommu: started refactoring the iommu driver to the new interface

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

pci: channel to iommu setup

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

iommu: fix build

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

iommu: towards implementation of the iommu service

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

iommu: implemented request for iommu endpoint

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

iommu: refactor common code into a library and service sub functions

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>