| /* |
| * This file is subject to the terms and conditions of the GNU General Public |
| * License. See the file "COPYING" in the main directory of this archive |
| * for more details. |
| * |
| * Copyright (C) 2000, 07 MIPS Technologies, Inc. |
| */ |
| #ifndef __LINUX_IRQCHIP_MIPS_GIC_H |
| #define __LINUX_IRQCHIP_MIPS_GIC_H |
| |
| #include <linux/clocksource.h> |
| #include <linux/ioport.h> |
| |
| /* User Mode Visible Section Register Map */ |
| #define GIC_UMV_SH_COUNTER_31_00_OFS 0x0000 |
| #define GIC_UMV_SH_COUNTER_63_32_OFS 0x0004 |
| |
| #endif /* __LINUX_IRQCHIP_MIPS_GIC_H */ |