root / xen-mapcache.h @ fd2a9d2f
History | View | Annotate | Download (1 kB)
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 */ |