/* * 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 #include <stdlib.h> typedef hwaddr (*phys_offset_to_gaddr_t)(hwaddr start_addr, ram_addr_t size, void *opaque); #ifdef CONFIG_XEN void xen_map_cache_init(phys_offset_to_gaddr_t f, void *opaque); uint8_t *xen_map_cache(hwaddr phys_addr, hwaddr 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); #else static inline void xen_map_cache_init(phys_offset_to_gaddr_t f, void *opaque) { } static inline uint8_t *xen_map_cache(hwaddr phys_addr, hwaddr 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 */