2010-08-31 17:41:25 +02: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 11:14:06 +02:00
|
|
|
#include <stdlib.h>
|
|
|
|
|
2012-10-23 12:30:10 +02:00
|
|
|
typedef hwaddr (*phys_offset_to_gaddr_t)(hwaddr start_addr,
|
2012-01-18 13:21:38 +01:00
|
|
|
ram_addr_t size,
|
|
|
|
void *opaque);
|
2011-07-20 11:14:06 +02:00
|
|
|
#ifdef CONFIG_XEN
|
|
|
|
|
2012-01-18 13:21:38 +01:00
|
|
|
void xen_map_cache_init(phys_offset_to_gaddr_t f,
|
|
|
|
void *opaque);
|
2012-10-23 12:30:10 +02:00
|
|
|
uint8_t *xen_map_cache(hwaddr phys_addr, hwaddr size,
|
2011-06-21 22:59:08 +02:00
|
|
|
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 17:41:25 +02:00
|
|
|
|
2011-07-20 11:14:06 +02:00
|
|
|
#else
|
|
|
|
|
2012-01-18 13:21:38 +01:00
|
|
|
static inline void xen_map_cache_init(phys_offset_to_gaddr_t f,
|
|
|
|
void *opaque)
|
2011-07-20 11:14:06 +02:00
|
|
|
{
|
|
|
|
}
|
|
|
|
|
2012-10-23 12:30:10 +02:00
|
|
|
static inline uint8_t *xen_map_cache(hwaddr phys_addr,
|
|
|
|
hwaddr size,
|
2011-07-20 11:14:06 +02:00
|
|
|
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 17:41:25 +02:00
|
|
|
#endif /* !XEN_MAPCACHE_H */
|