replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

libbarrelfish: actually free mapping cap slots when not using mapping cnodes

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

libbarrelfish: hide mapping cnodes behind #define

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

libbarrelfish: pmap slab mgmt: move initial regions for slab allocators into core state.

If we have the initial regions in the data section of the binary, we
break domain spanning.

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

libbarrelfish: move (de-)serialisation out of x86 specific code. Use in aarch64 also.

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

barrelfish: x86: pmap: refactor struct vnode.

This commit moves the common bits of struct vnode into struct vnode_public and
makes the first member of struct vnode a struct vnode_public.
All the x86-specific, and architecture independent, pmap implementation has
been updated to work with the new struct vnode layout.

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

libbarrelfish: unified pmap: refactor slab refilling.

Move the slab refilling implementation to arch independent code and add
entry point for each pmap datastructure which refills all slab allocators.

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

libbarrelfish: pmap: Move set_mapping_cap() to pmap_priv.h and use in x86_64.

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

libbarrelfish: pmap: define pmap_foreach_child.

This macro is used to eliminate more pmap_ds specific code in
arch-specific x86_64 and aarch64 pmap implementations.

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

libbarrelfish: control pmap datastructure header through Hakefile

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

x86_64,armv8: fix unified pmap walking and pmap_array implementation for aarch64.

This commit fixes the pmap walking which was factored out in ae92c192c.

This commit additionally provides an implementation of array-based pmaps
for aarch64.

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

libbarrelfish: pmap: factor out shadow page traversal for x86_64 and armv8

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

libbarrelfish: pmap: prepare for deduplicating shadow page table walking

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

libbarrelfish: pmap: x86: refill ptslabs when deserializing, if PMAP_ARRAY is enabled.

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

libbarrelfish: x86: pmap: serialise/deserialise: handle mapping caps.

For the vnodes which we serialise (no leaf mappings), we now copy the mapping
capabilities into the page cnode during serialisation, and back into the
respective mapping cap cnode when deserialising.

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

libbbarrelfish: x86: pmap: remove_empty_vnodes: remove slot_free() on mapping slots

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

T384: x86_64: change shadow page tables to have dedicated cnodes for mapping caps

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

libbarrelfish,pmap: improve slab refilling code

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

pmap: set next pointer in vnode to null when using PMAP_ARRAY

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

pmap_array: update child array slab refilling

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

pmap_array: have separate slab allocator for child arrays

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

libbf,redis: make pmap->refill_slabs take a number of slabs to allocate

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

libbarrelfish: correctly initialize all shadow page tables to be marked not cloned

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

pmap: naming unification

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