hw/xen.h

   1 #ifndef QEMU_HW_XEN_H
   2 #define QEMU_HW_XEN_H 1
   3 /*
   4  * public xen header
   5  *   stuff needed outside xen-*.c, i.e. interfaces to qemu.
   6  *   must not depend on any xen headers being present in
   7  *   /usr/include/xen, so it can be included unconditionally.
   8  */
   9 #include <inttypes.h>
  10
  11 #include "qemu-common.h"
  12
  13 /* xen-machine.c */
  14 enum xen_mode {
  15     XEN_EMULATE = 0,  // xen emulation, using xenner (default)
  16     XEN_CREATE,       // create xen domain
  17     XEN_ATTACH        // attach to xen domain created by xend
  18 };
  19
  20 extern uint32_t xen_domid;
  21 extern enum xen_mode xen_mode;
  22
  23 extern int xen_allowed;
  24
  25 static inline int xen_enabled(void)
  26 {
  27 #ifdef CONFIG_XEN
  28     return xen_allowed;
  29 #else
  30     return 0;
  31 #endif
  32 }
  33
  34 static inline int xen_mapcache_enabled(void)
  35 {
  36 #ifdef CONFIG_XEN_MAPCACHE
  37     return xen_enabled();
  38 #else
  39     return 0;
  40 #endif
  41 }
  42
  43 int xen_pci_slot_get_pirq(PCIDevice *pci_dev, int irq_num);
  44 void xen_piix3_set_irq(void *opaque, int irq_num, int level);
  45 void xen_piix_pci_write_config_client(uint32_t address, uint32_t val, int len);
  46 void xen_cmos_set_s3_resume(void *opaque, int irq, int level);
  47
  48 qemu_irq *xen_interrupt_controller_init(void);
  49
  50 int xen_init(void);
  51 int xen_hvm_init(void);
  52 void xen_vcpu_init(void);
  53
  54 #if defined(NEED_CPU_H) && !defined(CONFIG_USER_ONLY)
  55 void xen_ram_alloc(ram_addr_t ram_addr, ram_addr_t size);
  56 #endif
  57
  58 #if defined(CONFIG_XEN) && CONFIG_XEN_CTRL_INTERFACE_VERSION < 400
  59 #  define HVM_MAX_VCPUS 32
  60 #endif
  61
  62 #endif /* QEMU_HW_XEN_H */