]>
Commit | Line | Data |
---|---|---|
432d268c JN |
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 | ||
fd2a9d2f AK |
12 | #include <stdlib.h> |
13 | ||
14 | #ifdef CONFIG_XEN | |
15 | ||
e41d7c69 JK |
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); | |
432d268c | 22 | |
fd2a9d2f AK |
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 | ||
432d268c | 51 | #endif /* !XEN_MAPCACHE_H */ |