sel4vspace: Style libsel4vspace/src/vspace.c

Ran style over file 'libsel4vspace/src/vspace.c'

sel4vspace: Page access with callback function

Implemented a 'vspace_access_page_with_callback' function. This
performs a mapping of a page from a source to destination vspace.
The mapping is subsequently passed to a user defined callback
before being unmapped out of the destination vspace.

SELFOUR-1053: Invoke VMM layer directly in vpsace_[new/map]_pages()

This change brings the behaviour of vspace_[new/map]_pages() in line with its
expected behaviour as the OS page-level combinatorial allocator -- such an
allocator is expected to directly call on the PMM and VMM for frames and pages
respectively, then map the frames into the pages, and do some book-keeping
before handing out the new vmem to userspace.

The previous implementation of vspace_[new/map]_pages had a call to
vspace_new_reservation which in turn had a call to malloc somewhere internally,
and this was causing a circular call path in our libraries.

Fix all the whitespace

- remove trailing whitespace
- remove duplicate blank lines
- remove blank lines at end of files

vspace_new_pages: New configuration behavior

Change 1 << * to BIT(*) in some cases

Fix licenses

SELFOUR-567: use seL4_CapRights_t

sel4[utils|vspace] handle 0 sized stacks

sel4vspace: allow custom stack size

This allows a user to provide a custom
stack size via the new function vspace_new_sized_stack
and companion free function.

The previous vspace_new_stack is maintained to avoid
breaking the API.

Fix missing license header.

trivial: fix warnings in release builds

libsel4vspace: Make cookies pointer sized, not 32-bit

libsel4vspace: trivial - fix warnings

libsel4vspace/utils: use uinptr_t instead of doing undefined void * arithmetic