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>

hwmodels: make the testcase working

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

xeonphi: print ranges instead of bits

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>

xeon_phi: fix compilation with full debug enabled

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

T258: Provide slot allocator refilling in xeon phi sysmem manager and kaluga device cap manager

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

T258: Xeon Phi: provide proper argument cnode when spawning xeon phi coreboot and fix init of range slot allocator

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

T258: Fix libmm to refill it's slot allocator if refill function provided

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

T191: x86_64: frame_identify returns size in bytes

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

Renamed variable round in xeon_phi sysmem_caps.c to round_ to avoid shadowing global defined in math.h.

xeon phi driver: adpated benchmark of sysmemcaps to match memlatency.

xeon phi: added memcopy benchmark to the memlatency benchmark in sysmem
caps.

added xeon phi sysmem benchmark in sysmem manager.

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: switched to the new Xeon Phi Client, added open call to interphi interface.

Xeon Phi Driver: Renaming and handling of IDs

Renamed xeon_phi.h to xeon_phi_internal.h
SMTP: reserved the top 8 entries for Xeon Phi mappings
added functions to set the mappings based on the ID

Service: the service exchanges now the base addresses of the cards
bugfix when waiting for the reply.

Interfaces: Renamed xeon_phi.if to xeon_phi_driver.if

Fixed adding offset to host side cap manager.

Removed the test send messaging from the xeon phi driver to a separate domain.

Implemented the flounder interface of the messaging requests between the
xeon phi driver and the domains.

Revised the initialization process of the xeon phi to avoid mapping the entire aperture.

Introduces cap manager also for the aperture memory to serve the msg
OPEN commands.

Initial version of the message handling implementation (meta part)

Added: new debug output to the xeon phi driver for system memory management.

Exchange of base address for messaging bootstrap

When the host starts the Xeon Phi it writes the address of the messaging
frame into the bootparams and this address is passed to the xeon phi
cardside driver which contacts the host and uses this frame to establish
more messaging channels.