inmates: make map_range global

This declaration can get global once paging is supported on all
architectures.

Signed-off-by: Ralf Ramsauer <ralf.ramsauer@oth-regensburg.de>
Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>

inmates/lib/inmate_common.h

@@ -86,6 +86,10 @@ const char *cmdline_parse_str(const char *param, char *value_buffer,
 long long cmdline_parse_int(const char *param, long long default_value);
 bool cmdline_parse_bool(const char *param);
 
+enum map_type { MAP_CACHED, MAP_UNCACHED };
+
+void map_range(void *start, unsigned long size, enum map_type map_type);
+
 #define CMDLINE_BUFFER(size) \
 	const char cmdline[size] __attribute__((section(".cmdline")))
 

inmates/lib/x86/inmate.h

@@ -247,10 +247,6 @@ void delay_us(unsigned long microsecs);
 unsigned long apic_timer_init(unsigned int vector);
 void apic_timer_set(unsigned long timeout_ns);
 
-enum map_type { MAP_CACHED, MAP_UNCACHED };
-
-void map_range(void *start, unsigned long size, enum map_type map_type);
-
 u32 pci_read_config(u16 bdf, unsigned int addr, unsigned int size);
 void pci_write_config(u16 bdf, unsigned int addr, u32 value,
 		      unsigned int size);