1/* 2 * Copyright (C) 2011 Citrix Ltd. 3 * 4 * This work is licensed under the terms of the GNU GPL, version 2. See 5 * the COPYING file in the top-level directory. 6 * 7 */ 8 9#ifndef XEN_MAPCACHE_H 10#define XEN_MAPCACHE_H 11 12#include <stdlib.h> 13 14#ifdef CONFIG_XEN 15 16void xen_map_cache_init(void); 17uint8_t *xen_map_cache(target_phys_addr_t phys_addr, target_phys_addr_t size, 18 uint8_t lock); 19ram_addr_t xen_ram_addr_from_mapcache(void *ptr); 20void xen_invalidate_map_cache_entry(uint8_t *buffer); 21void xen_invalidate_map_cache(void); 22 23#else 24 25static inline void xen_map_cache_init(void) 26{ 27} 28 29static inline uint8_t *xen_map_cache(target_phys_addr_t phys_addr, 30 target_phys_addr_t size, 31 uint8_t lock) 32{ 33 abort(); 34} 35 36static inline ram_addr_t xen_ram_addr_from_mapcache(void *ptr) 37{ 38 abort(); 39} 40 41static inline void xen_invalidate_map_cache_entry(uint8_t *buffer) 42{ 43} 44 45static inline void xen_invalidate_map_cache(void) 46{ 47} 48 49#endif 50 51#endif /* !XEN_MAPCACHE_H */ 52