]>
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 | ||
e41d7c69 JK |
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); | |
432d268c JN |
18 | |
19 | #endif /* !XEN_MAPCACHE_H */ |