tree f52c78ee982ad614770f78e0fac1a128ffe238cf
parent 9b97ab8efc19643c5b7b9d4dbcd2715d0985d36f
author Alison Felizzi <Alison.Felizzi@data61.csiro.au> 1582775958 +1100
committer Alison Felizzi <Alison.Felizzi@data61.csiro.au> 1583452324 +1100

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.