|
/*
|
|
* Xen X86-specific
|
|
*
|
|
* Copyright 2020 Red Hat, Inc.
|
|
*
|
|
* SPDX-License-Identifier: GPL-2.0-or-later
|
|
*/
|
|
#ifndef QEMU_HW_XEN_X86_H
|
|
#define QEMU_HW_XEN_X86_H
|
|
|
|
#include "hw/i386/pc.h"
|
|
|
|
void xen_hvm_init_pc(PCMachineState *pcms, MemoryRegion **ram_memory);
|
|
|
|
#endif /* QEMU_HW_XEN_X86_H */
|