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.

libsel4vm/src/arch/x86/boot.c

diff --git a/libsel4vm/src/arch/x86/boot.c b/libsel4vm/src/arch/x86/boot.c
index 780a346..ffb6cef 100644
--- a/libsel4vm/src/arch/x86/boot.c
+++ b/libsel4vm/src/arch/x86/boot.c
@@ -30,7 +30,7 @@
 
 #include "vm_boot.h"
 #include "guest_vspace.h"
-#include "guest_memory_map.h"
+#include "guest_memory.h"
 #include "guest_state.h"
 #include "vmcs.h"
 #include "processor/decode.h"

libsel4vm/src/guest_memory.c

diff --git a/libsel4vm/src/guest_memory.c b/libsel4vm/src/guest_memory.c
index 9ba66da..b922887 100644
--- a/libsel4vm/src/guest_memory.c
+++ b/libsel4vm/src/guest_memory.c
@@ -19,7 +19,7 @@
 #include <sel4vm/guest_vm.h>
 #include <sel4vm/guest_memory.h>
 
-#include "guest_memory_map.h"
+#include "guest_memory.h"
 
 typedef enum reservation_type {
     MEM_REGULAR_RES,

libsel4vm/src/guest_memory.h

diff --git a/libsel4vm/src/guest_memory_map.h b/libsel4vm/src/guest_memory.h
similarity index 100%
rename from libsel4vm/src/guest_memory_map.h
rename to libsel4vm/src/guest_memory.h

libsel4vm/src/guest_ram.c

diff --git a/libsel4vm/src/guest_ram.c b/libsel4vm/src/guest_ram.c
index 27cf0cf..22d0da4 100644
--- a/libsel4vm/src/guest_ram.c
+++ b/libsel4vm/src/guest_ram.c
@@ -20,7 +20,7 @@
 #include <sel4vm/guest_ram.h>
 #include <sel4vm/guest_memory.h>
 
-#include "guest_memory_map.h"
+#include "guest_memory.h"
 
 struct guest_mem_touch_params {
     void *data;