History log of /seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/arm/guest_vspace_arch.h
Revision Date Author Comments
# bee92f98 27-Nov-2020 Gerwin Klein <gerwin.klein@data61.csiro.au>

style: run astyle on non-conforming files

Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>
# 745291ce 27-Nov-2020 Gerwin Klein <gerwin.klein@data61.csiro.au>

Convert to SPDX license tags

Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>
# ed2b25d5 10-May-2019 Alison Felizzi <Alison.Felizzi@data61.csiro.au>

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).