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