xen-mapcache.h

   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
  16 void xen_map_cache_init(void);
  17 uint8_t *xen_map_cache(target_phys_addr_t phys_addr, target_phys_addr_t size,
  18                        uint8_t lock);
  19 ram_addr_t xen_ram_addr_from_mapcache(void *ptr);
  20 void xen_invalidate_map_cache_entry(uint8_t *buffer);
  21 void xen_invalidate_map_cache(void);
  22
  23 #else
  24
  25 static inline void xen_map_cache_init(void)
  26 {
  27 }
  28
  29 static 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
  36 static inline ram_addr_t xen_ram_addr_from_mapcache(void *ptr)
  37 {
  38     abort();
  39 }
  40
  41 static inline void xen_invalidate_map_cache_entry(uint8_t *buffer)
  42 {
  43 }
  44
  45 static inline void xen_invalidate_map_cache(void)
  46 {
  47 }
  48
  49 #endif
  50
  51 #endif /* !XEN_MAPCACHE_H */