4 * Copyright 2020 Red Hat, Inc.
6 * SPDX-License-Identifier: GPL-2.0-or-later
8 #ifndef QEMU_HW_XEN_X86_H
9 #define QEMU_HW_XEN_X86_H
11 #include "hw/i386/pc.h"
13 void xen_hvm_init_pc(PCMachineState
*pcms
, MemoryRegion
**ram_memory
);
15 #endif /* QEMU_HW_XEN_X86_H */