e41d7c691a
The map cache is a Xen thing, so its API should make this clear. Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com> Signed-off-by: Alexander Graf <agraf@suse.de>
20 lines
540 B
C
20 lines
540 B
C
/*
|
|
* Copyright (C) 2011 Citrix Ltd.
|
|
*
|
|
* This work is licensed under the terms of the GNU GPL, version 2. See
|
|
* the COPYING file in the top-level directory.
|
|
*
|
|
*/
|
|
|
|
#ifndef XEN_MAPCACHE_H
|
|
#define XEN_MAPCACHE_H
|
|
|
|
void xen_map_cache_init(void);
|
|
uint8_t *xen_map_cache(target_phys_addr_t phys_addr, target_phys_addr_t size,
|
|
uint8_t lock);
|
|
ram_addr_t xen_ram_addr_from_mapcache(void *ptr);
|
|
void xen_invalidate_map_cache_entry(uint8_t *buffer);
|
|
void xen_invalidate_map_cache(void);
|
|
|
|
#endif /* !XEN_MAPCACHE_H */
|