armv8: Fix modify paging flags

Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>

armv8: Support no access page mappings

Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>

armv8: make all defined target compile (ARMV8_All)

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

armv8: actually passing the flags argument

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

armv8: fix calculations of required slabs for mappings

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

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>

libbarrelfish: armv8: pmap: update for new struct vnode layout

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

libbarrelfish: pmap: do_single_map: only insert child after new vnode fully initialized

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>

libbarrelfish: pmap: factor out slab refilling from x86_64 and aarch64

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: armv8: pmap: switch to fixed mapping cnodes.

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: armv8: pmap: implement alignment in determine_addr

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

aarch64: fixing memory allocation

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

pmap: naming unification

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