Statistics
| Branch: | Revision:

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 */