2010-08-31 15:41:25 +00:00
|
|
|
/*
|
|
|
|
* Copyright (C) 2011 Citrix Ltd.
|
|
|
|
*
|
|
|
|
* This work is licensed under the terms of the GNU GPL, version 2. See
|
|
|
|
* the COPYING file in the top-level directory.
|
|
|
|
*
|
|
|
|
*/
|
|
|
|
|
|
|
|
#ifndef XEN_MAPCACHE_H
|
|
|
|
#define XEN_MAPCACHE_H
|
|
|
|
|
2011-07-20 09:14:06 +00:00
|
|
|
#include <stdlib.h>
|
|
|
|
|
2012-01-18 12:21:38 +00:00
|
|
|
typedef target_phys_addr_t (*phys_offset_to_gaddr_t)(target_phys_addr_t start_addr,
|
|
|
|
ram_addr_t size,
|
|
|
|
void *opaque);
|
2011-07-20 09:14:06 +00:00
|
|
|
#ifdef CONFIG_XEN
|
|
|
|
|
2012-01-18 12:21:38 +00:00
|
|
|
void xen_map_cache_init(phys_offset_to_gaddr_t f,
|
|
|
|
void *opaque);
|
2011-06-21 20:59:08 +00:00
|
|
|
uint8_t *xen_map_cache(target_phys_addr_t phys_addr, target_phys_addr_t size,
|
|
|
|
uint8_t lock);
|
|
|
|
ram_addr_t xen_ram_addr_from_mapcache(void *ptr);
|
|
|
|
void xen_invalidate_map_cache_entry(uint8_t *buffer);
|
|
|
|
void xen_invalidate_map_cache(void);
|
2010-08-31 15:41:25 +00:00
|
|
|
|
2011-07-20 09:14:06 +00:00
|
|
|
#else
|
|
|
|
|
2012-01-18 12:21:38 +00:00
|
|
|
static inline void xen_map_cache_init(phys_offset_to_gaddr_t f,
|
|
|
|
void *opaque)
|
2011-07-20 09:14:06 +00:00
|
|
|
{
|
|
|
|
}
|
|
|
|
|
|
|
|
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
|
|
|
|
|
2010-08-31 15:41:25 +00:00
|
|
|
#endif /* !XEN_MAPCACHE_H */
|