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>

x86_64: fix tests/pagetable to use new struct vnode layout

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

x86_64: T80: implement array-backed pmap.

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

Fix sbrk call in usr/tests/pagetable

Signed-off-by: Moritz Hoffmann <moritzho@inf.ethz.ch>

Update test programs for pagetable manipluations.

Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>

Dirty bits.

Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>

Move some invocations into libbarrelfish.

Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>

Added cap invocation that clears the dirty bits.

Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>

Allowing to clear dirty bits from user-space and rewrite page table test

Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>

Update vnode-as-page mapping test to work with new vnode_identify().

Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>

Trying to map PML4.

Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>

Example program that can map it's own pagetables RO.

Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>