Convert to SPDX license tags Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>
trivial: Style changed files
libsel4vm: Made guest_vspace interface private Refactored the guest_vspace source to be private. This in particular makes 'vm_init_guest_vspace' a private function (named 'vm_get_guest_vspace' prior).