tree a00590b2e5b810819190000dd6f0844847fbeca5
parent 0bf36184a9bf50b26c4279db211ecf5cd9f8c271
author Alison Felizzi <Alison.Felizzi@data61.csiro.au> 1582776273 +1100
committer Alison Felizzi <Alison.Felizzi@data61.csiro.au> 1583452324 +1100

libsel4vm: Made 'vm_memory_handle_fault' private

Made the interface function 'vm_memory_handle_fault' a private
function as this is only used internally within libsel4vm.