1/* SPDX-License-Identifier: GPL-2.0 */
 2#ifndef __MACH_PXA25x_H
 3#define __MACH_PXA25x_H
 4
 5#include <mach/hardware.h>
 6#include <mach/pxa2xx-regs.h>
 7#include "mfp-pxa25x.h"
 8#include <mach/irqs.h>
 9
10#endif /* __MACH_PXA25x_H */