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 void xen_map_cache_init(void);
  13 uint8_t *xen_map_cache(target_phys_addr_t phys_addr, target_phys_addr_t size,
  14                        uint8_t lock);
  15 ram_addr_t xen_ram_addr_from_mapcache(void *ptr);
  16 void xen_invalidate_map_cache_entry(uint8_t *buffer);
  17 void xen_invalidate_map_cache(void);
  18
  19 #endif /* !XEN_MAPCACHE_H */