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