xen_intr.h

/******************************************************************************
 * xen_intr.h
 * 
 * APIs for managing Xen event channel, virtual IRQ, and physical IRQ
 * notifications.
 * 
 * Copyright (c) 2004, K A Fraser
 * Copyright (c) 2012, Spectra Logic Corporation
 *
 * This file may be distributed separately from the Linux kernel, or
 * incorporated into other software packages, subject to the following license:
 *
 * Permission is hereby granted, free of charge, to any person obtaining a copy
 * of this source file (the "Software"), to deal in the Software without
 * restriction, including without limitation the rights to use, copy, modify,
 * merge, publish, distribute, sublicense, and/or sell copies of the Software,
 * and to permit persons to whom the Software is furnished to do so, subject to
 * the following conditions:
 * 
 * The above copyright notice and this permission notice shall be included in
 * all copies or substantial portions of the Software.
 * 
 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
 * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
 * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS
 * IN THE SOFTWARE.
 *
 * $FreeBSD$
 */
#ifndef _XEN_INTR_H_
#define _XEN_INTR_H_
 
#include <contrib/xen/event_channel.h>
 
typedef void * xen_intr_handle_t;
 
void xen_intr_handle_upcall(struct trapframe *trap_frame);
 
int xen_intr_bind_local_port(device_t dev, evtchn_port_t local_port,
        driver_filter_t filter, driver_intr_t handler, void *arg,
        enum intr_type irqflags, xen_intr_handle_t *handlep);
 
int xen_intr_alloc_and_bind_local_port(device_t dev,
        u_int remote_domain, driver_filter_t filter, driver_intr_t handler,
        void *arg, enum intr_type irqflags, xen_intr_handle_t *handlep);
 
int xen_intr_bind_remote_port(device_t dev, u_int remote_domain,
        evtchn_port_t remote_port, driver_filter_t filter,
        driver_intr_t handler, void *arg, enum intr_type irqflags,
        xen_intr_handle_t *handlep);
 
int xen_intr_bind_virq(device_t dev, u_int virq, u_int cpu,
        driver_filter_t filter, driver_intr_t handler,
        void *arg, enum intr_type irqflags, xen_intr_handle_t *handlep);
 
int xen_intr_alloc_and_bind_ipi(u_int cpu,
        driver_filter_t filter, enum intr_type irqflags,
        xen_intr_handle_t *handlep);
 
void xen_intr_unbind(xen_intr_handle_t *handle);
 
int
xen_intr_describe(xen_intr_handle_t port_handle, const char *fmt, ...)
        __attribute__((format(printf, 2, 3)));
 
void xen_intr_signal(xen_intr_handle_t handle);
 
evtchn_port_t xen_intr_port(xen_intr_handle_t handle);
 
int xen_intr_add_handler(const char *name, driver_filter_t filter,
        driver_intr_t handler, void *arg, enum intr_type flags,
        xen_intr_handle_t handle);
 
int xen_intr_get_evtchn_from_port(evtchn_port_t port,
        xen_intr_handle_t *handlep);
 
#endif /* _XEN_INTR_H_ */