1 /* SPDX-License-Identifier: GPL-2.0 */
3 * linux/arch/arm/boot/compressed/head-sa1100.S
7 * SA1100 specific tweaks. This is merged into head.S by the linker.
11 #include <linux/linkage.h>
12 #include <asm/mach-types.h>
14 .section ".start", "ax"
19 @ Preserve r8/r7 i.e. kernel entry values
20 #ifdef CONFIG_SA1100_COLLIE
21 mov r7, #MACH_TYPE_COLLIE
23 mrc p15, 0, r0, c1, c0, 0 @ read control reg
27 @ Data cache might be active.
28 @ Be sure to flush kernel binary out of the cache,
29 @ whatever state it is, before it is turned off.
30 @ This is done by fetching through currently executed
31 @ memory to be sure we hit the same cache.
33 add r3, r2, #0x4000 @ 16 kb is quite enough...
37 mcr p15, 0, r0, c7, c10, 4 @ drain WB
38 mcr p15, 0, r0, c7, c7, 0 @ flush I & D caches
40 @ disabling MMU and caches
41 mrc p15, 0, r0, c1, c0, 0 @ read control reg
42 bic r0, r0, #0x0d @ clear WB, DC, MMU
43 bic r0, r0, #0x1000 @ clear Icache
44 mcr p15, 0, r0, c1, c0, 0