2022-12-07 10:19:31 +01:00
|
|
|
/*
|
|
|
|
* QEMU Xen emulation: Shared/overlay pages support
|
|
|
|
*
|
|
|
|
* Copyright © 2022 Amazon.com, Inc. or its affiliates. All Rights Reserved.
|
|
|
|
*
|
|
|
|
* Authors: David Woodhouse <dwmw2@infradead.org>
|
|
|
|
*
|
|
|
|
* This work is licensed under the terms of the GNU GPL, version 2 or later.
|
|
|
|
* See the COPYING file in the top-level directory.
|
|
|
|
*/
|
|
|
|
|
|
|
|
#ifndef QEMU_XEN_OVERLAY_H
|
|
|
|
#define QEMU_XEN_OVERLAY_H
|
|
|
|
|
|
|
|
void xen_overlay_create(void);
|
|
|
|
|
|
|
|
int xen_overlay_map_shinfo_page(uint64_t gpa);
|
|
|
|
void *xen_overlay_get_shinfo_ptr(void);
|
|
|
|
|
2022-12-12 15:03:41 +01:00
|
|
|
int xen_sync_long_mode(void);
|
|
|
|
int xen_set_long_mode(bool long_mode);
|
|
|
|
bool xen_is_long_mode(void);
|
|
|
|
|
2022-12-16 19:33:49 +01:00
|
|
|
void xen_overlay_do_map_page(MemoryRegion *page, uint64_t gpa);
|
|
|
|
|
2022-12-07 10:19:31 +01:00
|
|
|
#endif /* QEMU_XEN_OVERLAY_H */
|