Convert to SPDX license tags

Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>

guest_ram: add custom iterator

Add a function that initialises ram with a
custom iterator. This is used for mapping vm
memory onto a dataport.

libsel4vm: Renamed include 'guest_memory_map.h'

Renamed internal source include 'guest_memory_map.h' to a more
general name 'guest_memory.h'. This being more general for other
internal functions.

trivial: Style changed files

libsel4vm[vmmplatsupport]: Fixed missing returns

Miscellaneous functions lacked returning a success code resulting
in non-deterministic behaviour.

libsel4vm: Removed page_size field in VM object

Removed the page_size field in the VM object. The page size of
allocations and mappings can be left to the library user to
define. Updated uses of the page_size field to directly define the
page size value instead.

libsel4vm: Removed memory util from guest ram

Removed the guest memory util include from the guest ram
implementation. This doesn't use the guest memory util interface.

libsel4vm: Added region check to 'vm_ram_touch'

Added a check to 'vm_ram_touch' that ensures we are accessing a
registered ram region.

libsel4vm: Remove 'one_to_one' for vm_ram_register

Remove the 'one_to_one'/'untyped' parameter for 'vm_ram register'.
It can't be determined what the ram region can be allocated from
since its from an anonymous allocation. Hence we cant guarantee a
one-to-one PA to IPA mapping.

libsel4vm: RAM reservation map bypasses deferred

Updated the 'map_ram_reservation' function inside guest ram
to bypass the map vm reservation interface. This rather uses the
internal private interface in order to ensure ram reservations are
mapped immediately. This is implemented with new mapping iterators
(rather than using the guest memory utils iterators). Additionally
rename the 'one-to-one' parameter to 'untyped' for further clarity.

libsel4vm: Remove arch_data in mem fault callback

In the mem fault callback interface we replace the passing of the
guest_memory_arch_data interface with the faulting vcpu object.
Since we now have a vcpu fault interface we no longer need to
construct a custom datastructure to pass vcpu fault information.
The callback can rather query the needed information through the
vcpu fault interface. Updated the sources to reflect the interface
change.

libsel4vm: Usage of realloc uses temp variable

Updated usages of realloc to use a temp variable in case of
failure.

libsel4vm: Return error in push_guest_ram_region

Return error code value in push_guest_ram_region in the guest_ram
interace.

libsel4vm: Renamed map_device_reservation

Updated the name to 'map_maybe_device_reservation' as the
underlying implementation may not necessarily allocate a device
frame.

libsel4vm: Implemented guest ram interface

Fleshed out the guest ram managment API to use the new vm memory
interface. This is a wrapper around the guest memory interface
that accumulates reservations to provide RAM regions to the guest
vm.

libsel4vm: Renamed guest_memory to guest_ram

Renamed the guest_memory interface to 'guest_ram'. The functions
in the interface are intended to interact with guest ram memory.
Updated calls to the guest ram interface.