|
|
@ -9,6 +9,10 @@ |
|
|
#ifndef XEN_MAPCACHE_H |
|
|
#ifndef XEN_MAPCACHE_H |
|
|
#define XEN_MAPCACHE_H |
|
|
#define XEN_MAPCACHE_H |
|
|
|
|
|
|
|
|
|
|
|
#include <stdlib.h> |
|
|
|
|
|
|
|
|
|
|
|
#ifdef CONFIG_XEN |
|
|
|
|
|
|
|
|
void xen_map_cache_init(void); |
|
|
void xen_map_cache_init(void); |
|
|
uint8_t *xen_map_cache(target_phys_addr_t phys_addr, target_phys_addr_t size, |
|
|
uint8_t *xen_map_cache(target_phys_addr_t phys_addr, target_phys_addr_t size, |
|
|
uint8_t lock); |
|
|
uint8_t lock); |
|
|
@ -16,4 +20,32 @@ ram_addr_t xen_ram_addr_from_mapcache(void *ptr); |
|
|
void xen_invalidate_map_cache_entry(uint8_t *buffer); |
|
|
void xen_invalidate_map_cache_entry(uint8_t *buffer); |
|
|
void xen_invalidate_map_cache(void); |
|
|
void xen_invalidate_map_cache(void); |
|
|
|
|
|
|
|
|
|
|
|
#else |
|
|
|
|
|
|
|
|
|
|
|
static inline void xen_map_cache_init(void) |
|
|
|
|
|
{ |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
static inline uint8_t *xen_map_cache(target_phys_addr_t phys_addr, |
|
|
|
|
|
target_phys_addr_t size, |
|
|
|
|
|
uint8_t lock) |
|
|
|
|
|
{ |
|
|
|
|
|
abort(); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
static inline ram_addr_t xen_ram_addr_from_mapcache(void *ptr) |
|
|
|
|
|
{ |
|
|
|
|
|
abort(); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
static inline void xen_invalidate_map_cache_entry(uint8_t *buffer) |
|
|
|
|
|
{ |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
static inline void xen_invalidate_map_cache(void) |
|
|
|
|
|
{ |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
#endif |
|
|
|
|
|
|
|
|
#endif /* !XEN_MAPCACHE_H */ |
|
|
#endif /* !XEN_MAPCACHE_H */ |
|
|
|