1/* SPDX-License-Identifier: GPL-2.0+ */
2/*
3 * Copyright (C) 2023 Marek Vasut <marex@denx.de>
4 */
5#ifndef ARM11_H
6#define ARM11_H
7
8#ifndef __ASSEMBLY__
9void arm11_arch_cp15_allow_unaligned(void);
10#endif /* ! __ASSEMBLY__ */
11
12#endif	/* ARM11_H */
13