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>

xeon phi: fixing some bugs when running withouth HW model

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

hwmodel: make it work with the new queries

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

hwmodels: adapt to the changed decoding net interface

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

xeon_phi: uadapt to the driverkit changes

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

Sockeye: Remove hardcoded xeon phi hack. Add XPHI DMA node

We now pass along a nodeid in the xphi dma lib

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

Sockeye: Add reverse resolve func

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

DMA: integrate hwmodel conversion into more places

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

xeonphi: use the model to allocate memory

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

xeonphi: implementation of memalloc interphi calls

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

xeonphi: towards support for model based allocations

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

xeonphi: implement the dma requets and factor out the translate function

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

xeonphi: prepare to setup up the iomu

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

proc_mgmt: xeon phi translation did to cap implemented

Currently the interphi channel usues domain ids to identify
a domain. In the rest of the code caps are used.

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

flounder: making const pointers in xeon phi driver

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

flounder: making const pointers in receiving handlers, using CONST_CAST as a temporary solution in few places but finally it should be removed

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

T191: x86_64: frame_identify returns size in bytes

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

xeon phi: adding more debug printfs to the driver

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

Xeon Phi: fixing race condition when booting two cards simultaneously.

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

bugfix in xeon phi domain wait: state pointer was not forwarded.

adapted the xeon phi spawn infrastructure to handle spawn flags.

Xeon Phi Driver: sysmem manager and RPC

Adapted the functionality of the sys mem manager to deal with
reallocations.

Some changes with the RPC functionality of the interphi channel

Driver waits now for all spawnd up before signalling to the host

Xeon Phi Driver: Adapted the spawn and open to handle arguments

Open: Supply a 64bit value as a argument / identifier for the open call

Spawn: splitted cmdline into path and argv values.

Xeon Phi Driver: Added trigger for full nameservice functionality.

Xeon Phi Driver: Added functionality for the name service request forwarding.

Xeon Phi Driver: switched to the new Xeon Phi Client, added open call to interphi interface.

Xeon Phi Driver: adapted the initialization to make use of the flounder interface for intra phi messaging.

Xeon Phi Driver: rewritten interphi messaging to use flounder.