1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556 |
- /*
- * 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 target_phys_addr_t (*phys_offset_to_gaddr_t)(target_phys_addr_t 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(target_phys_addr_t phys_addr, target_phys_addr_t 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(target_phys_addr_t phys_addr,
- target_phys_addr_t 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 */
|