1 // SPDX-License-Identifier: GPL-2.0-or-later 1
2 /*
3 * Setup code for SAMA5
4 *
5 * Copyright (C) 2013 Atmel,
6 * 2013 Ludovic Desroches <ludo
7 */
8
9 #include <linux/of.h>
10 #include <linux/of_platform.h>
11
12 #include <asm/hardware/cache-l2x0.h>
13 #include <asm/mach/arch.h>
14 #include <asm/mach/map.h>
15 #include <asm/outercache.h>
16 #include <asm/system_misc.h>
17
18 #include "generic.h"
19 #include "sam_secure.h"
20
21 static void sama5_l2c310_write_sec(unsigned lo
22 {
23 /* OP-TEE configures the L2 cache and
24 }
25
26 static void __init sama5_secure_cache_init(voi
27 {
28 sam_secure_init();
29 if (IS_ENABLED(CONFIG_OUTER_CACHE) &&
30 outer_cache.write_sec = sama5_
31 }
32
33 static void __init sama5_dt_device_init(void)
34 {
35 of_platform_default_populate(NULL, NUL
36 sama5_pm_init();
37 }
38
39 static const char *const sama5_dt_board_compat
40 "atmel,sama5",
41 NULL
42 };
43
44 DT_MACHINE_START(sama5_dt, "Atmel SAMA5")
45 /* Maintainer: Atmel */
46 .init_machine = sama5_dt_device_init
47 .dt_compat = sama5_dt_board_compa
48 MACHINE_END
49
50 static const char *const sama5_alt_dt_board_co
51 "atmel,sama5d4",
52 NULL
53 };
54
55 DT_MACHINE_START(sama5_alt_dt, "Atmel SAMA5")
56 /* Maintainer: Atmel */
57 .init_machine = sama5_dt_device_init
58 .dt_compat = sama5_alt_dt_board_c
59 .l2c_aux_mask = ~0UL,
60 MACHINE_END
61
62 static void __init sama5d2_init(void)
63 {
64 of_platform_default_populate(NULL, NUL
65 sama5d2_pm_init();
66 }
67
68 static const char *const sama5d2_compat[] __in
69 "atmel,sama5d2",
70 NULL
71 };
72
73 DT_MACHINE_START(sama5d2, "Atmel SAMA5")
74 /* Maintainer: Atmel */
75 .init_machine = sama5d2_init,
76 .init_early = sama5_secure_cache_i
77 .dt_compat = sama5d2_compat,
78 .l2c_aux_mask = ~0UL,
79 MACHINE_END
80
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.