1 /* $NetBSD: intr.h,v 1.7 2003/06/16 20:01:00 thorpej Exp $ */
4 * SPDX-License-Identifier: BSD-4-Clause
6 * Copyright (c) 1997 Mark Brinicombe.
9 * Redistribution and use in source and binary forms, with or without
10 * modification, are permitted provided that the following conditions
12 * 1. Redistributions of source code must retain the above copyright
13 * notice, this list of conditions and the following disclaimer.
14 * 2. Redistributions in binary form must reproduce the above copyright
15 * notice, this list of conditions and the following disclaimer in the
16 * documentation and/or other materials provided with the distribution.
17 * 3. All advertising materials mentioning features or use of this software
18 * must display the following acknowledgement:
19 * This product includes software developed by Mark Brinicombe
20 * for the NetBSD Project.
21 * 4. The name of the company nor the name of the author may be used to
22 * endorse or promote products derived from this software without specific
23 * prior written permission.
25 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR IMPLIED
26 * WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
27 * MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
28 * IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT,
29 * INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
30 * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
31 * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
32 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
33 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
34 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
41 #ifndef _MACHINE_INTR_H_
42 #define _MACHINE_INTR_H_
45 #include <dev/ofw/openfirm.h>
49 #define NIRQ 1024 /* XXX - It should be an option. */
55 typedef void intr_ipi_send_t(void *, cpuset_t, u_int);
56 typedef void intr_ipi_handler_t(void *);
58 void intr_ipi_dispatch(u_int, struct trapframe *);
59 void intr_ipi_send(cpuset_t, u_int);
61 void intr_ipi_setup(u_int, const char *, intr_ipi_handler_t *, void *,
62 intr_ipi_send_t *, void *);
64 int intr_pic_ipi_setup(u_int, const char *, intr_ipi_handler_t *, void *);
67 void arm_irq_memory_barrier(uintptr_t);
69 #endif /* _MACHINE_INTR_H */