FreeBSD/Linux Kernel Cross Reference
sys/sys/intr.h

     /*-
      * Copyright (c) 2015-2016 Svatopluk Kraus
      * Copyright (c) 2015-2016 Michal Meloun
      * All rights reserved.
      *
      * Redistribution and use in source and binary forms, with or without
      * modification, are permitted provided that the following conditions
      * are met:
      * 1. Redistributions of source code must retain the above copyright
     *    notice, this list of conditions and the following disclaimer.
     * 2. Redistributions in binary form must reproduce the above copyright
     *    notice, this list of conditions and the following disclaimer in the
     *    documentation and/or other materials provided with the distribution.
     *
     * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
     * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
     * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
     * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
     * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
     * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
     * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
     * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
     * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
     * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
     * SUCH DAMAGE.
     *
     * $FreeBSD: releng/11.0/sys/sys/intr.h 301543 2016-06-07 09:03:27Z skra $
     */
    
    #ifndef _SYS_INTR_H_
    #define _SYS_INTR_H_
    
    #include <sys/systm.h>
    
    #define INTR_IRQ_INVALID        0xFFFFFFFF
    
    #ifdef notyet
    #define INTR_SOLO       INTR_MD1
    typedef int intr_irq_filter_t(void *arg, struct trapframe *tf);
    #else
    typedef int intr_irq_filter_t(void *arg);
    #endif
    typedef int intr_child_irq_filter_t(void *arg, uintptr_t irq);
    
    #define INTR_ISRC_NAMELEN       (MAXCOMLEN + 1)
    
    #define INTR_ISRCF_IPI          0x01    /* IPI interrupt */
    #define INTR_ISRCF_PPI          0x02    /* PPI interrupt */
    #define INTR_ISRCF_BOUND        0x04    /* bound to a CPU */
    
    struct intr_pic;
    
    /* Interrupt source definition. */
    struct intr_irqsrc {
            device_t                isrc_dev;       /* where isrc is mapped */
            u_int                   isrc_irq;       /* unique identificator */
            u_int                   isrc_flags;
            char                    isrc_name[INTR_ISRC_NAMELEN];
            cpuset_t                isrc_cpu;       /* on which CPUs is enabled */
            u_int                   isrc_index;
            u_long *                isrc_count;
            u_int                   isrc_handlers;
            struct intr_event *     isrc_event;
    #ifdef INTR_SOLO
            intr_irq_filter_t *     isrc_filter;
            void *                  isrc_arg;
    #endif
    };
    
    /* Intr interface for PIC. */
    int intr_isrc_deregister(struct intr_irqsrc *);
    int intr_isrc_register(struct intr_irqsrc *, device_t, u_int, const char *, ...)
        __printflike(4, 5);
    
    #ifdef SMP
    bool intr_isrc_init_on_cpu(struct intr_irqsrc *isrc, u_int cpu);
    #endif
    
    int intr_isrc_dispatch(struct intr_irqsrc *, struct trapframe *);
    u_int intr_irq_next_cpu(u_int current_cpu, cpuset_t *cpumask);
    
    struct intr_pic *intr_pic_register(device_t, intptr_t);
    int intr_pic_deregister(device_t, intptr_t);
    int intr_pic_claim_root(device_t, intptr_t, intr_irq_filter_t *, void *, u_int);
    struct intr_pic *intr_pic_add_handler(device_t, struct intr_pic *,
        intr_child_irq_filter_t *, void *, uintptr_t, uintptr_t);
    
    extern device_t intr_irq_root_dev;
    
    /* Intr interface for BUS. */
    int intr_map_irq(device_t, intptr_t, struct intr_map_data *, u_int *);
    
    int intr_alloc_irq(device_t, struct resource *);
    int intr_release_irq(device_t, struct resource *);
    
    int intr_setup_irq(device_t, struct resource *, driver_filter_t, driver_intr_t,
        void *, int, void **);
    int intr_teardown_irq(device_t, struct resource *, void *);
    
   int intr_describe_irq(device_t, struct resource *, void *, const char *);
   int intr_child_irq_handler(struct intr_pic *, uintptr_t);
   
   /* MSI/MSI-X handling */
   int intr_msi_register(device_t, intptr_t);
   int intr_alloc_msi(device_t, device_t, intptr_t, int, int, int *);
   int intr_release_msi(device_t, device_t, intptr_t, int, int *);
   int intr_map_msi(device_t, device_t, intptr_t, int, uint64_t *, uint32_t *);
   int intr_alloc_msix(device_t, device_t, intptr_t, int *);
   int intr_release_msix(device_t, device_t, intptr_t, int);
   
   #ifdef SMP
   int intr_bind_irq(device_t, struct resource *, int);
   
   void intr_pic_init_secondary(void);
   
   /* Virtualization for interrupt source IPI counter increment. */
   static inline void
   intr_ipi_increment_count(u_long *counter, u_int cpu)
   {
   
           KASSERT(cpu < MAXCPU, ("%s: too big cpu %u", __func__, cpu));
           counter[cpu]++;
   }
   
   /* Virtualization for interrupt source IPI counters setup. */
   u_long * intr_ipi_setup_counters(const char *name);
   
   #endif
   #endif  /* _SYS_INTR_H */

Cache object: d003d8d6f0d9fdd632bc622ae4fc9eca