2 * Ported from m68knommu
4 * Copyright (C) 2003, Microtronix Datacom Ltd.
5 * Copyright (C) 2004, Microtronix Datacom Ltd.
9 * This program is free software; you can redistribute it and/or modify
10 * it under the terms of the GNU General Public License as published by
11 * the Free Software Foundation; either version 2 of the License, or
12 * (at your option) any later version.
14 * This program is distributed in the hope that it will be useful, but
15 * WITHOUT ANY WARRANTY; without even the implied warranty of
16 * MERCHANTABILITY OR FITNESS FOR A PARTICULAR PURPOSE, GOOD TITLE or
17 * NON INFRINGEMENT. See the GNU General Public License for more
20 * You should have received a copy of the GNU General Public License
21 * along with this program; if not, write to the Free Software
22 * Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
25 #ifndef __NIOS2_HARDIRQ_H
26 #define __NIOS2_HARDIRQ_H
28 #include <linux/cache.h>
29 #include <linux/threads.h>
32 unsigned int __softirq_pending
;
33 } ____cacheline_aligned irq_cpustat_t
;
35 #include <linux/irq_cpustat.h> /* Standard mappings for irq_cpustat_t above */
37 #define HARDIRQ_BITS 8
40 # error nios2nommu SMP is not available
41 #endif /* CONFIG_SMP */
43 #endif /* __NIOS2_HARDIRQ_H */