#ifndef _XEN_EVENTS_H
  #define _XEN_EVENTS_H

  #include <linux/interrupt.h>
  
  #include <xen/interface/event_channel.h>
  #include <asm/xen/hypercall.h>

  #include <asm/xen/events.h>

  int bind_evtchn_to_irq(unsigned int evtchn);

  int bind_evtchn_to_irqhandler(unsigned int evtchn,

  			      irq_handler_t handler,

  			      unsigned long irqflags, const char *devname,
  			      void *dev_id);

  int bind_virq_to_irq(unsigned int virq, unsigned int cpu);

  int bind_virq_to_irqhandler(unsigned int virq, unsigned int cpu,

  			    irq_handler_t handler,
  			    unsigned long irqflags, const char *devname,
  			    void *dev_id);
  int bind_ipi_to_irqhandler(enum ipi_vector ipi,
  			   unsigned int cpu,
  			   irq_handler_t handler,
  			   unsigned long irqflags,
  			   const char *devname,
  			   void *dev_id);

  int bind_interdomain_evtchn_to_irqhandler(unsigned int remote_domain,
  					  unsigned int remote_port,
  					  irq_handler_t handler,
  					  unsigned long irqflags,
  					  const char *devname,
  					  void *dev_id);

  
  /*
   * Common unbind function for all event sources. Takes IRQ to unbind from.
   * Automatically closes the underlying event channel (even for bindings
   * made with bind_evtchn_to_irqhandler()).
   */
  void unbind_from_irqhandler(unsigned int irq, void *dev_id);

  /*
   * Allow extra references to event channels exposed to userspace by evtchn
   */
  int evtchn_make_refcounted(unsigned int evtchn);
  int evtchn_get(unsigned int evtchn);
  void evtchn_put(unsigned int evtchn);

  void xen_send_IPI_one(unsigned int cpu, enum ipi_vector vector);

  int resend_irq_on_evtchn(unsigned int irq);

  void rebind_evtchn_irq(int evtchn, int irq);

  static inline void notify_remote_via_evtchn(int port)
  {
  	struct evtchn_send send = { .port = port };
  	(void)HYPERVISOR_event_channel_op(EVTCHNOP_send, &send);
  }

  void notify_remote_via_irq(int irq);

  void xen_irq_resume(void);

  /* Clear an irq's pending state, in preparation for polling on it */
  void xen_clear_irq_pending(int irq);

  void xen_set_irq_pending(int irq);
  bool xen_test_irq_pending(int irq);

  
  /* Poll waiting for an irq to become pending.  In the usual case, the
     irq will be disabled so it won't deliver an interrupt. */
  void xen_poll_irq(int irq);

  /* Poll waiting for an irq to become pending with a timeout.  In the usual case,
   * the irq will be disabled so it won't deliver an interrupt. */
  void xen_poll_irq_timeout(int irq, u64 timeout);

  /* Determine the IRQ which is bound to an event channel */
  unsigned irq_from_evtchn(unsigned int evtchn);

  /* Xen HVM evtchn vector callback */

  void xen_hvm_callback_vector(void);

  extern int xen_have_vector_callback;
  int xen_set_callback_via(uint64_t via);
  void xen_evtchn_do_upcall(struct pt_regs *regs);
  void xen_hvm_evtchn_do_upcall(void);

  /* Bind a pirq for a physical interrupt to an irq. */
  int xen_bind_pirq_gsi_to_irq(unsigned gsi,
  			     unsigned pirq, int shareable, char *name);

  
  #ifdef CONFIG_PCI_MSI

  /* Allocate a pirq for a MSI style physical interrupt. */

  int xen_allocate_pirq_msi(struct pci_dev *dev, struct msi_desc *msidesc);

  /* Bind an PSI pirq to an irq. */

  int xen_bind_pirq_msi_to_irq(struct pci_dev *dev, struct msi_desc *msidesc,

  			     int pirq, int vector, const char *name,
  			     domid_t domid);

  #endif

  /* De-allocates the above mentioned physical interrupt. */
  int xen_destroy_irq(int irq);

  /* Return irq from pirq */
  int xen_irq_from_pirq(unsigned pirq);

  /* Return the pirq allocated to the irq. */
  int xen_pirq_from_irq(unsigned irq);

  /* Determine whether to ignore this IRQ if it is passed to a guest. */
  int xen_test_irq_shared(int irq);

  #endif	/* _XEN_EVENTS_H */