1 /* SPDX-License-Identifier: GPL-2.0 */ 2 /* 3 * Copyright 2008 Openmoko, Inc. 4 * Copyright 2008 Simtec Electronics 5 * http://armlinux.simtec.co.uk/ 6 * Ben Dooks <ben@simtec.co.uk> 7 * 8 * S3C64XX - IRQ register definitions 9 */ 10 11 #ifndef __ASM_ARCH_REGS_IRQ_H 12 #define __ASM_ARCH_REGS_IRQ_H __FILE__ 13 14 15 #endif /* __ASM_ARCH_6400_REGS_IRQ_H */ 16