intr.h (d60840138f6292c1ceeb177ebe797eca0b2749da) intr.h (59c3cb81c1769fdb6c840c971df129b52f4a848d)
1/* $NetBSD: intr.h,v 1.7 2003/06/16 20:01:00 thorpej Exp $ */
2
3/*-
4 * Copyright (c) 1997 Mark Brinicombe.
5 * All rights reserved.
6 *
7 * Redistribution and use in source and binary forms, with or without
8 * modification, are permitted provided that the following conditions

--- 29 unchanged lines hidden (view full) ---

38
39#ifndef _MACHINE_INTR_H_
40#define _MACHINE_INTR_H_
41
42#ifdef FDT
43#include <dev/ofw/openfirm.h>
44#endif
45
1/* $NetBSD: intr.h,v 1.7 2003/06/16 20:01:00 thorpej Exp $ */
2
3/*-
4 * Copyright (c) 1997 Mark Brinicombe.
5 * All rights reserved.
6 *
7 * Redistribution and use in source and binary forms, with or without
8 * modification, are permitted provided that the following conditions

--- 29 unchanged lines hidden (view full) ---

38
39#ifndef _MACHINE_INTR_H_
40#define _MACHINE_INTR_H_
41
42#ifdef FDT
43#include <dev/ofw/openfirm.h>
44#endif
45
46#ifdef ARM_INTRNG
46#ifdef INTRNG
47
48#ifndef NIRQ
49#define NIRQ 1024 /* XXX - It should be an option. */
50#endif
51
52#include <sys/intr.h>
53
54#ifdef SMP
55typedef void intr_ipi_send_t(void *, cpuset_t, u_int);
56typedef void intr_ipi_handler_t(void *);
57
58void intr_ipi_dispatch(u_int, struct trapframe *);
59void intr_ipi_send(cpuset_t, u_int);
60
61void intr_ipi_setup(u_int, const char *, intr_ipi_handler_t *, void *,
62 intr_ipi_send_t *, void *);
63
64int intr_pic_ipi_setup(u_int, const char *, intr_ipi_handler_t *, void *);
65#endif
47
48#ifndef NIRQ
49#define NIRQ 1024 /* XXX - It should be an option. */
50#endif
51
52#include <sys/intr.h>
53
54#ifdef SMP
55typedef void intr_ipi_send_t(void *, cpuset_t, u_int);
56typedef void intr_ipi_handler_t(void *);
57
58void intr_ipi_dispatch(u_int, struct trapframe *);
59void intr_ipi_send(cpuset_t, u_int);
60
61void intr_ipi_setup(u_int, const char *, intr_ipi_handler_t *, void *,
62 intr_ipi_send_t *, void *);
63
64int intr_pic_ipi_setup(u_int, const char *, intr_ipi_handler_t *, void *);
65#endif
66#else /* ARM_INTRNG */
66#else /* INTRNG */
67
68/* XXX move to std.* files? */
69#ifdef CPU_XSCALE_81342
70#define NIRQ 128
71#elif defined(CPU_XSCALE_PXA2X0)
72#include <arm/xscale/pxa/pxareg.h>
73#define NIRQ IRQ_GPIO_MAX
74#elif defined(SOC_MV_DISCOVERY)

--- 31 unchanged lines hidden (view full) ---

106
107void intr_pic_init_secondary(void);
108
109#ifdef FDT
110int gic_decode_fdt(phandle_t, pcell_t *, int *, int *, int *);
111int intr_fdt_map_irq(phandle_t, pcell_t *, int);
112#endif
113
67
68/* XXX move to std.* files? */
69#ifdef CPU_XSCALE_81342
70#define NIRQ 128
71#elif defined(CPU_XSCALE_PXA2X0)
72#include <arm/xscale/pxa/pxareg.h>
73#define NIRQ IRQ_GPIO_MAX
74#elif defined(SOC_MV_DISCOVERY)

--- 31 unchanged lines hidden (view full) ---

106
107void intr_pic_init_secondary(void);
108
109#ifdef FDT
110int gic_decode_fdt(phandle_t, pcell_t *, int *, int *, int *);
111int intr_fdt_map_irq(phandle_t, pcell_t *, int);
112#endif
113
114#endif /* ARM_INTRNG */
114#endif /* INTRNG */
115
116void arm_irq_memory_barrier(uintptr_t);
117
118#endif /* _MACHINE_INTR_H */
115
116void arm_irq_memory_barrier(uintptr_t);
117
118#endif /* _MACHINE_INTR_H */