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 */