1 | #ifndef QEMU_HW_XEN_H |
2 | #define QEMU_HW_XEN_H |
3 | |
4 | /* |
5 | * public xen header |
6 | * stuff needed outside xen-*.c, i.e. interfaces to qemu. |
7 | * must not depend on any xen headers being present in |
8 | * /usr/include/xen, so it can be included unconditionally. |
9 | */ |
10 | |
11 | #include "exec/cpu-common.h" |
12 | |
13 | /* xen-machine.c */ |
14 | enum xen_mode { |
15 | XEN_EMULATE = 0, // xen emulation, using xenner (default) |
16 | XEN_ATTACH // attach to xen domain created by libxl |
17 | }; |
18 | |
19 | extern uint32_t xen_domid; |
20 | extern enum xen_mode xen_mode; |
21 | extern bool xen_domid_restrict; |
22 | |
23 | extern bool xen_allowed; |
24 | |
25 | static inline bool xen_enabled(void) |
26 | { |
27 | return xen_allowed; |
28 | } |
29 | |
30 | int xen_pci_slot_get_pirq(PCIDevice *pci_dev, int irq_num); |
31 | void xen_piix3_set_irq(void *opaque, int irq_num, int level); |
32 | void xen_piix_pci_write_config_client(uint32_t address, uint32_t val, int len); |
33 | void xen_hvm_inject_msi(uint64_t addr, uint32_t data); |
34 | int xen_is_pirq_msi(uint32_t msi_data); |
35 | |
36 | qemu_irq *xen_interrupt_controller_init(void); |
37 | |
38 | void xenstore_store_pv_console_info(int i, struct Chardev *chr); |
39 | |
40 | void xen_hvm_init(PCMachineState *pcms, MemoryRegion **ram_memory); |
41 | |
42 | void xen_ram_alloc(ram_addr_t ram_addr, ram_addr_t size, |
43 | struct MemoryRegion *mr, Error **errp); |
44 | void xen_hvm_modified_memory(ram_addr_t start, ram_addr_t length); |
45 | |
46 | void xen_register_framebuffer(struct MemoryRegion *mr); |
47 | |
48 | #endif /* QEMU_HW_XEN_H */ |
49 | |