root / xen-mapcache.h @ e41d7c69
History | View | Annotate | Download (540 Bytes)
| 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 |
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); |
| 18 |
|
| 19 |
#endif /* !XEN_MAPCACHE_H */ |