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 13void xen_hvm_init_pc(PCMachineState *pcms, MemoryRegion **ram_memory); 14 15#endif /* QEMU_HW_XEN_X86_H */ 16