History log of /seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/arm/guest_memory_arch.c
Revision Date Author Comments
# 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>
# c69cd028 13-Dec-2019 Kent McLeod <Kent.Mcleod@data61.csiro.au>

trivial: Style changed files
# d606dc72 13-Dec-2019 Alison Felizzi <Alison.Felizzi@data61.csiro.au>

libsel4vm: Moved arm ipa_to_pa in arch sources

Moved the 'ipa_to_pa' function into arm's architecture specific
guest memory interface. This is currently a temporary location to
support legacy uses of the arm vmm interface which will be
eventually revised.