| .. | .. |
|---|
| 21 | 21 | unsigned long irqflags, const char *devname, |
|---|
| 22 | 22 | void *dev_id); |
|---|
| 23 | 23 | int bind_evtchn_to_irqhandler_lateeoi(evtchn_port_t evtchn, |
|---|
| 24 | | - irq_handler_t handler, |
|---|
| 25 | | - unsigned long irqflags, const char *devname, |
|---|
| 26 | | - void *dev_id); |
|---|
| 24 | + irq_handler_t handler, |
|---|
| 25 | + unsigned long irqflags, const char *devname, |
|---|
| 26 | + void *dev_id); |
|---|
| 27 | 27 | int bind_virq_to_irq(unsigned int virq, unsigned int cpu, bool percpu); |
|---|
| 28 | 28 | int bind_virq_to_irqhandler(unsigned int virq, unsigned int cpu, |
|---|
| 29 | 29 | irq_handler_t handler, |
|---|
| .. | .. |
|---|
| 35 | 35 | unsigned long irqflags, |
|---|
| 36 | 36 | const char *devname, |
|---|
| 37 | 37 | void *dev_id); |
|---|
| 38 | | -int bind_interdomain_evtchn_to_irq(unsigned int remote_domain, |
|---|
| 39 | | - evtchn_port_t remote_port); |
|---|
| 40 | 38 | int bind_interdomain_evtchn_to_irq_lateeoi(unsigned int remote_domain, |
|---|
| 41 | 39 | evtchn_port_t remote_port); |
|---|
| 42 | | -int bind_interdomain_evtchn_to_irqhandler(unsigned int remote_domain, |
|---|
| 43 | | - evtchn_port_t remote_port, |
|---|
| 44 | | - irq_handler_t handler, |
|---|
| 45 | | - unsigned long irqflags, |
|---|
| 46 | | - const char *devname, |
|---|
| 47 | | - void *dev_id); |
|---|
| 48 | 40 | int bind_interdomain_evtchn_to_irqhandler_lateeoi(unsigned int remote_domain, |
|---|
| 49 | 41 | evtchn_port_t remote_port, |
|---|
| 50 | 42 | irq_handler_t handler, |
|---|
| .. | .. |
|---|
| 75 | 67 | /* |
|---|
| 76 | 68 | * Allow extra references to event channels exposed to userspace by evtchn |
|---|
| 77 | 69 | */ |
|---|
| 78 | | -int evtchn_make_refcounted(unsigned int evtchn); |
|---|
| 79 | | -int evtchn_get(unsigned int evtchn); |
|---|
| 80 | | -void evtchn_put(unsigned int evtchn); |
|---|
| 70 | +int evtchn_make_refcounted(evtchn_port_t evtchn); |
|---|
| 71 | +int evtchn_get(evtchn_port_t evtchn); |
|---|
| 72 | +void evtchn_put(evtchn_port_t evtchn); |
|---|
| 81 | 73 | |
|---|
| 82 | 74 | void xen_send_IPI_one(unsigned int cpu, enum ipi_vector vector); |
|---|
| 83 | | -void rebind_evtchn_irq(int evtchn, int irq); |
|---|
| 75 | +void rebind_evtchn_irq(evtchn_port_t evtchn, int irq); |
|---|
| 84 | 76 | int xen_set_affinity_evtchn(struct irq_desc *desc, unsigned int tcpu); |
|---|
| 85 | 77 | |
|---|
| 86 | | -static inline void notify_remote_via_evtchn(int port) |
|---|
| 78 | +static inline void notify_remote_via_evtchn(evtchn_port_t port) |
|---|
| 87 | 79 | { |
|---|
| 88 | 80 | struct evtchn_send send = { .port = port }; |
|---|
| 89 | 81 | (void)HYPERVISOR_event_channel_op(EVTCHNOP_send, &send); |
|---|
| .. | .. |
|---|
| 107 | 99 | void xen_poll_irq_timeout(int irq, u64 timeout); |
|---|
| 108 | 100 | |
|---|
| 109 | 101 | /* Determine the IRQ which is bound to an event channel */ |
|---|
| 110 | | -unsigned irq_from_evtchn(unsigned int evtchn); |
|---|
| 102 | +unsigned int irq_from_evtchn(evtchn_port_t evtchn); |
|---|
| 111 | 103 | int irq_from_virq(unsigned int cpu, unsigned int virq); |
|---|
| 112 | | -unsigned int evtchn_from_irq(unsigned irq); |
|---|
| 104 | +evtchn_port_t evtchn_from_irq(unsigned irq); |
|---|
| 113 | 105 | |
|---|
| 114 | | -/* Xen HVM evtchn vector callback */ |
|---|
| 115 | | -void xen_hvm_callback_vector(void); |
|---|
| 116 | | -#ifdef CONFIG_TRACING |
|---|
| 117 | | -#define trace_xen_hvm_callback_vector xen_hvm_callback_vector |
|---|
| 118 | | -#endif |
|---|
| 119 | 106 | int xen_set_callback_via(uint64_t via); |
|---|
| 120 | 107 | void xen_evtchn_do_upcall(struct pt_regs *regs); |
|---|
| 121 | 108 | void xen_hvm_evtchn_do_upcall(void); |
|---|