This declaration can get global once paging is supported on all architectures.
Signed-off-by: Ralf Ramsauer <[email protected]> --- inmates/lib/inmate_common.h | 4 ++++ inmates/lib/x86/inmate.h | 4 ---- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/inmates/lib/inmate_common.h b/inmates/lib/inmate_common.h index 9e5bf94d..bee4e64b 100644 --- a/inmates/lib/inmate_common.h +++ b/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"))) diff --git a/inmates/lib/x86/inmate.h b/inmates/lib/x86/inmate.h index f8ae5e55..c30edbe9 100644 --- a/inmates/lib/x86/inmate.h +++ b/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); -- 2.17.0 -- You received this message because you are subscribed to the Google Groups "Jailhouse" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
