2013-03-13 19:29:25 +04:00
|
|
|
/*
|
|
|
|
* Xen Event Channels (internal header)
|
|
|
|
*
|
|
|
|
* Copyright (C) 2013 Citrix Systems R&D Ltd.
|
|
|
|
*
|
|
|
|
* This source code is licensed under the GNU General Public License,
|
|
|
|
* Version 2 or later. See the file COPYING for more details.
|
|
|
|
*/
|
|
|
|
#ifndef __EVENTS_INTERNAL_H__
|
|
|
|
#define __EVENTS_INTERNAL_H__
|
|
|
|
|
|
|
|
/* Interrupt types. */
|
|
|
|
enum xen_irq_type {
|
|
|
|
IRQT_UNBOUND = 0,
|
|
|
|
IRQT_PIRQ,
|
|
|
|
IRQT_VIRQ,
|
|
|
|
IRQT_IPI,
|
|
|
|
IRQT_EVTCHN
|
|
|
|
};
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Packed IRQ information:
|
|
|
|
* type - enum xen_irq_type
|
|
|
|
* event channel - irq->event channel mapping
|
|
|
|
* cpu - cpu this event channel is bound to
|
|
|
|
* index - type-specific information:
|
|
|
|
* PIRQ - vector, with MSB being "needs EIO", or physical IRQ of the HVM
|
|
|
|
* guest, or GSI (real passthrough IRQ) of the device.
|
|
|
|
* VIRQ - virq number
|
|
|
|
* IPI - IPI vector
|
|
|
|
* EVTCHN -
|
|
|
|
*/
|
|
|
|
struct irq_info {
|
|
|
|
struct list_head list;
|
|
|
|
int refcnt;
|
|
|
|
enum xen_irq_type type; /* type */
|
|
|
|
unsigned irq;
|
2013-10-17 18:23:15 +04:00
|
|
|
unsigned int evtchn; /* event channel */
|
2013-03-13 19:29:25 +04:00
|
|
|
unsigned short cpu; /* cpu bound */
|
|
|
|
|
|
|
|
union {
|
|
|
|
unsigned short virq;
|
|
|
|
enum ipi_vector ipi;
|
|
|
|
struct {
|
|
|
|
unsigned short pirq;
|
|
|
|
unsigned short gsi;
|
|
|
|
unsigned char vector;
|
|
|
|
unsigned char flags;
|
|
|
|
uint16_t domid;
|
|
|
|
} pirq;
|
|
|
|
} u;
|
|
|
|
};
|
|
|
|
|
|
|
|
#define PIRQ_NEEDS_EOI (1 << 0)
|
|
|
|
#define PIRQ_SHAREABLE (1 << 1)
|
2014-02-27 22:15:35 +04:00
|
|
|
#define PIRQ_MSI_GROUP (1 << 2)
|
2013-03-13 19:29:25 +04:00
|
|
|
|
2013-03-14 16:49:19 +04:00
|
|
|
struct evtchn_ops {
|
2013-10-17 18:23:15 +04:00
|
|
|
unsigned (*max_channels)(void);
|
|
|
|
unsigned (*nr_channels)(void);
|
|
|
|
|
2013-03-18 20:54:57 +04:00
|
|
|
int (*setup)(struct irq_info *info);
|
2013-03-14 16:49:19 +04:00
|
|
|
void (*bind_to_cpu)(struct irq_info *info, unsigned cpu);
|
|
|
|
|
|
|
|
void (*clear_pending)(unsigned port);
|
|
|
|
void (*set_pending)(unsigned port);
|
|
|
|
bool (*is_pending)(unsigned port);
|
|
|
|
bool (*test_and_set_mask)(unsigned port);
|
|
|
|
void (*mask)(unsigned port);
|
|
|
|
void (*unmask)(unsigned port);
|
|
|
|
|
|
|
|
void (*handle_events)(unsigned cpu);
|
2013-03-15 17:02:35 +04:00
|
|
|
void (*resume)(void);
|
2013-03-14 16:49:19 +04:00
|
|
|
};
|
|
|
|
|
|
|
|
extern const struct evtchn_ops *evtchn_ops;
|
|
|
|
|
2013-10-17 18:23:15 +04:00
|
|
|
extern int **evtchn_to_irq;
|
|
|
|
int get_evtchn_to_irq(unsigned int evtchn);
|
2013-03-13 19:29:25 +04:00
|
|
|
|
|
|
|
struct irq_info *info_for_irq(unsigned irq);
|
|
|
|
unsigned cpu_from_irq(unsigned irq);
|
|
|
|
unsigned cpu_from_evtchn(unsigned int evtchn);
|
|
|
|
|
2013-10-17 18:23:15 +04:00
|
|
|
static inline unsigned xen_evtchn_max_channels(void)
|
|
|
|
{
|
|
|
|
return evtchn_ops->max_channels();
|
|
|
|
}
|
|
|
|
|
2013-03-18 20:54:57 +04:00
|
|
|
/*
|
|
|
|
* Do any ABI specific setup for a bound event channel before it can
|
|
|
|
* be unmasked and used.
|
|
|
|
*/
|
|
|
|
static inline int xen_evtchn_port_setup(struct irq_info *info)
|
|
|
|
{
|
|
|
|
if (evtchn_ops->setup)
|
|
|
|
return evtchn_ops->setup(info);
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
2013-03-14 16:49:19 +04:00
|
|
|
static inline void xen_evtchn_port_bind_to_cpu(struct irq_info *info,
|
|
|
|
unsigned cpu)
|
|
|
|
{
|
|
|
|
evtchn_ops->bind_to_cpu(info, cpu);
|
|
|
|
}
|
|
|
|
|
|
|
|
static inline void clear_evtchn(unsigned port)
|
|
|
|
{
|
|
|
|
evtchn_ops->clear_pending(port);
|
|
|
|
}
|
|
|
|
|
|
|
|
static inline void set_evtchn(unsigned port)
|
|
|
|
{
|
|
|
|
evtchn_ops->set_pending(port);
|
|
|
|
}
|
|
|
|
|
|
|
|
static inline bool test_evtchn(unsigned port)
|
|
|
|
{
|
|
|
|
return evtchn_ops->is_pending(port);
|
|
|
|
}
|
|
|
|
|
|
|
|
static inline bool test_and_set_mask(unsigned port)
|
|
|
|
{
|
|
|
|
return evtchn_ops->test_and_set_mask(port);
|
|
|
|
}
|
|
|
|
|
|
|
|
static inline void mask_evtchn(unsigned port)
|
|
|
|
{
|
|
|
|
return evtchn_ops->mask(port);
|
|
|
|
}
|
|
|
|
|
|
|
|
static inline void unmask_evtchn(unsigned port)
|
|
|
|
{
|
|
|
|
return evtchn_ops->unmask(port);
|
|
|
|
}
|
2013-03-13 19:29:25 +04:00
|
|
|
|
2013-03-14 16:49:19 +04:00
|
|
|
static inline void xen_evtchn_handle_events(unsigned cpu)
|
|
|
|
{
|
|
|
|
return evtchn_ops->handle_events(cpu);
|
|
|
|
}
|
2013-03-13 19:29:25 +04:00
|
|
|
|
2013-03-15 17:02:35 +04:00
|
|
|
static inline void xen_evtchn_resume(void)
|
|
|
|
{
|
|
|
|
if (evtchn_ops->resume)
|
|
|
|
evtchn_ops->resume();
|
|
|
|
}
|
|
|
|
|
2013-03-14 16:49:19 +04:00
|
|
|
void xen_evtchn_2l_init(void);
|
2013-03-15 17:02:35 +04:00
|
|
|
int xen_evtchn_fifo_init(void);
|
2013-03-13 19:29:25 +04:00
|
|
|
|
|
|
|
#endif /* #ifndef __EVENTS_INTERNAL_H__ */
|