| 1 | /* |
| 2 | * Xen X86-specific |
| 3 | * |
| 4 | * Copyright 2020 Red Hat, Inc. |
| 5 | * |
| 6 | * SPDX-License-Identifier: GPL-2.0-or-later |
| 7 | */ |
| 8 | #ifndef QEMU_HW_XEN_X86_H |
| 9 | #define QEMU_HW_XEN_X86_H |
| 10 | |
| 11 | #include "hw/i386/pc.h" |
| 12 | |
| 13 | void xen_hvm_init_pc(PCMachineState *pcms, MemoryRegion **ram_memory); |
| 14 | |
| 15 | #endif /* QEMU_HW_XEN_X86_H */ |