xref: /aosp_15_r20/trusty/kernel/platform/generic-arm64/platform.c (revision 344aa361028b423587d4ef3fa52a23d194628137)
1*344aa361SAndroid Build Coastguard Worker /*
2*344aa361SAndroid Build Coastguard Worker  * Copyright (c) 2015 Google Inc. All rights reserved
3*344aa361SAndroid Build Coastguard Worker  *
4*344aa361SAndroid Build Coastguard Worker  * Permission is hereby granted, free of charge, to any person obtaining
5*344aa361SAndroid Build Coastguard Worker  * a copy of this software and associated documentation files
6*344aa361SAndroid Build Coastguard Worker  * (the "Software"), to deal in the Software without restriction,
7*344aa361SAndroid Build Coastguard Worker  * including without limitation the rights to use, copy, modify, merge,
8*344aa361SAndroid Build Coastguard Worker  * publish, distribute, sublicense, and/or sell copies of the Software,
9*344aa361SAndroid Build Coastguard Worker  * and to permit persons to whom the Software is furnished to do so,
10*344aa361SAndroid Build Coastguard Worker  * subject to the following conditions:
11*344aa361SAndroid Build Coastguard Worker  *
12*344aa361SAndroid Build Coastguard Worker  * The above copyright notice and this permission notice shall be
13*344aa361SAndroid Build Coastguard Worker  * included in all copies or substantial portions of the Software.
14*344aa361SAndroid Build Coastguard Worker  *
15*344aa361SAndroid Build Coastguard Worker  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
16*344aa361SAndroid Build Coastguard Worker  * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
17*344aa361SAndroid Build Coastguard Worker  * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
18*344aa361SAndroid Build Coastguard Worker  * IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY
19*344aa361SAndroid Build Coastguard Worker  * CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT,
20*344aa361SAndroid Build Coastguard Worker  * TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE
21*344aa361SAndroid Build Coastguard Worker  * SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
22*344aa361SAndroid Build Coastguard Worker  */
23*344aa361SAndroid Build Coastguard Worker 
24*344aa361SAndroid Build Coastguard Worker #include <debug.h>
25*344aa361SAndroid Build Coastguard Worker #include <dev/timer/arm_generic.h>
26*344aa361SAndroid Build Coastguard Worker #include <err.h>
27*344aa361SAndroid Build Coastguard Worker #include <inttypes.h>
28*344aa361SAndroid Build Coastguard Worker #include <kernel/vm.h>
29*344aa361SAndroid Build Coastguard Worker #include <lib/device_tree/libfdt_helpers.h>
30*344aa361SAndroid Build Coastguard Worker #include <lk/init.h>
31*344aa361SAndroid Build Coastguard Worker #include <platform/gic.h>
32*344aa361SAndroid Build Coastguard Worker #include <string.h>
33*344aa361SAndroid Build Coastguard Worker #include <sys/types.h>
34*344aa361SAndroid Build Coastguard Worker #include <vsock/vsock.h>
35*344aa361SAndroid Build Coastguard Worker 
36*344aa361SAndroid Build Coastguard Worker #include "debug.h"
37*344aa361SAndroid Build Coastguard Worker 
38*344aa361SAndroid Build Coastguard Worker #if ARM64_BOOT_PROTOCOL_X0_MEMSIZE || ARCH_ARM
39*344aa361SAndroid Build Coastguard Worker #include "smc.h"
40*344aa361SAndroid Build Coastguard Worker #endif
41*344aa361SAndroid Build Coastguard Worker 
42*344aa361SAndroid Build Coastguard Worker #ifdef GIC_VERSION
43*344aa361SAndroid Build Coastguard Worker #include <dev/interrupt/arm_gic.h>
44*344aa361SAndroid Build Coastguard Worker 
45*344aa361SAndroid Build Coastguard Worker #define ARM_GENERIC_TIMER_INT_CNTV 27
46*344aa361SAndroid Build Coastguard Worker #define ARM_GENERIC_TIMER_INT_CNTPS 29
47*344aa361SAndroid Build Coastguard Worker #define ARM_GENERIC_TIMER_INT_CNTP 30
48*344aa361SAndroid Build Coastguard Worker 
49*344aa361SAndroid Build Coastguard Worker #define ARM_GENERIC_TIMER_INT_SELECTED(timer) ARM_GENERIC_TIMER_INT_##timer
50*344aa361SAndroid Build Coastguard Worker #define XARM_GENERIC_TIMER_INT_SELECTED(timer) \
51*344aa361SAndroid Build Coastguard Worker     ARM_GENERIC_TIMER_INT_SELECTED(timer)
52*344aa361SAndroid Build Coastguard Worker #define ARM_GENERIC_TIMER_INT \
53*344aa361SAndroid Build Coastguard Worker     XARM_GENERIC_TIMER_INT_SELECTED(TIMER_ARM_GENERIC_SELECTED)
54*344aa361SAndroid Build Coastguard Worker 
55*344aa361SAndroid Build Coastguard Worker #if GIC_VERSION <= 2
56*344aa361SAndroid Build Coastguard Worker #define GICC_SIZE (0x1000)
57*344aa361SAndroid Build Coastguard Worker #define GICD_SIZE (0x1000)
58*344aa361SAndroid Build Coastguard Worker #define GICR_SIZE (0)
59*344aa361SAndroid Build Coastguard Worker #else
60*344aa361SAndroid Build Coastguard Worker #define GICC_SIZE (0x10000)
61*344aa361SAndroid Build Coastguard Worker #define GICD_SIZE (0x10000)
62*344aa361SAndroid Build Coastguard Worker #if GIC_VERSION < 4
63*344aa361SAndroid Build Coastguard Worker #define GICR_SIZE (0x20000 * SMP_MAX_CPUS)
64*344aa361SAndroid Build Coastguard Worker #else
65*344aa361SAndroid Build Coastguard Worker #define GICR_SIZE (0x40000 * SMP_MAX_CPUS)
66*344aa361SAndroid Build Coastguard Worker #endif
67*344aa361SAndroid Build Coastguard Worker #endif
68*344aa361SAndroid Build Coastguard Worker #elif HAFNIUM
69*344aa361SAndroid Build Coastguard Worker #include <hf/types.h>
70*344aa361SAndroid Build Coastguard Worker #define ARM_GENERIC_TIMER_INT HF_VIRTUAL_TIMER_INTID
71*344aa361SAndroid Build Coastguard Worker #else
72*344aa361SAndroid Build Coastguard Worker #error "Unknown interrupt library"
73*344aa361SAndroid Build Coastguard Worker #endif
74*344aa361SAndroid Build Coastguard Worker 
75*344aa361SAndroid Build Coastguard Worker extern ulong lk_boot_args[4];
76*344aa361SAndroid Build Coastguard Worker 
77*344aa361SAndroid Build Coastguard Worker #if ARM64_BOOT_PROTOCOL_X0_DTB
generic_arm64_reserve_device_tree(paddr_t ram_base,size_t ram_size)78*344aa361SAndroid Build Coastguard Worker static void generic_arm64_reserve_device_tree(paddr_t ram_base,
79*344aa361SAndroid Build Coastguard Worker                                               size_t ram_size) {
80*344aa361SAndroid Build Coastguard Worker     struct list_node list;
81*344aa361SAndroid Build Coastguard Worker     list_initialize(&list);
82*344aa361SAndroid Build Coastguard Worker 
83*344aa361SAndroid Build Coastguard Worker     paddr_t fdt_paddr = lk_boot_args[0];
84*344aa361SAndroid Build Coastguard Worker     if (fdt_paddr < ram_base || fdt_paddr - ram_base >= ram_size) {
85*344aa361SAndroid Build Coastguard Worker         /* fdt address is outside ram_arena, no need to reserve it */
86*344aa361SAndroid Build Coastguard Worker         return;
87*344aa361SAndroid Build Coastguard Worker     }
88*344aa361SAndroid Build Coastguard Worker     const void* fdt = paddr_to_kvaddr(fdt_paddr);
89*344aa361SAndroid Build Coastguard Worker     if (fdt_check_header(fdt)) {
90*344aa361SAndroid Build Coastguard Worker         return;
91*344aa361SAndroid Build Coastguard Worker     }
92*344aa361SAndroid Build Coastguard Worker     size_t fdt_size = fdt_totalsize(fdt);
93*344aa361SAndroid Build Coastguard Worker     /* if fdt_paddr is not page aligned add offset in first page to size */
94*344aa361SAndroid Build Coastguard Worker     fdt_size += fdt_paddr & (PAGE_SIZE - 1);
95*344aa361SAndroid Build Coastguard Worker     uint fdt_page_count = DIV_ROUND_UP(fdt_size, PAGE_SIZE);
96*344aa361SAndroid Build Coastguard Worker     uint fdt_reserved_page_count =
97*344aa361SAndroid Build Coastguard Worker             pmm_alloc_range(fdt_paddr, fdt_page_count, &list);
98*344aa361SAndroid Build Coastguard Worker     if (fdt_page_count != fdt_reserved_page_count) {
99*344aa361SAndroid Build Coastguard Worker         panic("failed to reserve memory for device tree");
100*344aa361SAndroid Build Coastguard Worker     }
101*344aa361SAndroid Build Coastguard Worker }
102*344aa361SAndroid Build Coastguard Worker #endif
103*344aa361SAndroid Build Coastguard Worker 
104*344aa361SAndroid Build Coastguard Worker /* initial memory mappings. parsed by start.S */
105*344aa361SAndroid Build Coastguard Worker struct mmu_initial_mapping mmu_initial_mappings[] = {
106*344aa361SAndroid Build Coastguard Worker         /* Mark next entry as dynamic as it might be updated
107*344aa361SAndroid Build Coastguard Worker            by platform_reset code to specify actual size and
108*344aa361SAndroid Build Coastguard Worker            location of RAM to use */
109*344aa361SAndroid Build Coastguard Worker         {.phys = MEMBASE + KERNEL_LOAD_OFFSET,
110*344aa361SAndroid Build Coastguard Worker          .virt = KERNEL_BASE + KERNEL_LOAD_OFFSET,
111*344aa361SAndroid Build Coastguard Worker          .size = MEMSIZE,
112*344aa361SAndroid Build Coastguard Worker          .flags = MMU_INITIAL_MAPPING_FLAG_DYNAMIC,
113*344aa361SAndroid Build Coastguard Worker          .name = "ram"},
114*344aa361SAndroid Build Coastguard Worker 
115*344aa361SAndroid Build Coastguard Worker         /* null entry to terminate the list */
116*344aa361SAndroid Build Coastguard Worker         {0, 0, 0, 0, 0}};
117*344aa361SAndroid Build Coastguard Worker 
118*344aa361SAndroid Build Coastguard Worker static pmm_arena_t ram_arena = {.name = "ram",
119*344aa361SAndroid Build Coastguard Worker                                 .base = MEMBASE + KERNEL_LOAD_OFFSET,
120*344aa361SAndroid Build Coastguard Worker                                 .size = MEMSIZE,
121*344aa361SAndroid Build Coastguard Worker                                 .flags = PMM_ARENA_FLAG_KMAP};
122*344aa361SAndroid Build Coastguard Worker 
platform_init_mmu_mappings(void)123*344aa361SAndroid Build Coastguard Worker void platform_init_mmu_mappings(void) {
124*344aa361SAndroid Build Coastguard Worker     /* go through mmu_initial_mapping to find dynamic entry
125*344aa361SAndroid Build Coastguard Worker      * matching ram_arena (by name) and adjust it.
126*344aa361SAndroid Build Coastguard Worker      */
127*344aa361SAndroid Build Coastguard Worker     struct mmu_initial_mapping* m = mmu_initial_mappings;
128*344aa361SAndroid Build Coastguard Worker     for (uint i = 0; i < countof(mmu_initial_mappings); i++, m++) {
129*344aa361SAndroid Build Coastguard Worker         if (!(m->flags & MMU_INITIAL_MAPPING_FLAG_DYNAMIC))
130*344aa361SAndroid Build Coastguard Worker             continue;
131*344aa361SAndroid Build Coastguard Worker 
132*344aa361SAndroid Build Coastguard Worker         if (strcmp(m->name, ram_arena.name) == 0) {
133*344aa361SAndroid Build Coastguard Worker             /* update ram_arena */
134*344aa361SAndroid Build Coastguard Worker             ram_arena.base = m->phys;
135*344aa361SAndroid Build Coastguard Worker             ram_arena.size = m->size;
136*344aa361SAndroid Build Coastguard Worker             ram_arena.flags = PMM_ARENA_FLAG_KMAP;
137*344aa361SAndroid Build Coastguard Worker 
138*344aa361SAndroid Build Coastguard Worker             break;
139*344aa361SAndroid Build Coastguard Worker         }
140*344aa361SAndroid Build Coastguard Worker     }
141*344aa361SAndroid Build Coastguard Worker     pmm_add_arena(&ram_arena);
142*344aa361SAndroid Build Coastguard Worker #if ARM64_BOOT_PROTOCOL_X0_DTB
143*344aa361SAndroid Build Coastguard Worker     generic_arm64_reserve_device_tree(ram_arena.base, ram_arena.size);
144*344aa361SAndroid Build Coastguard Worker #endif
145*344aa361SAndroid Build Coastguard Worker }
146*344aa361SAndroid Build Coastguard Worker 
147*344aa361SAndroid Build Coastguard Worker #if ARM64_BOOT_PROTOCOL_X0_MEMSIZE || ARCH_ARM
148*344aa361SAndroid Build Coastguard Worker 
generic_arm64_get_reg_base(int reg)149*344aa361SAndroid Build Coastguard Worker static paddr_t generic_arm64_get_reg_base(int reg) {
150*344aa361SAndroid Build Coastguard Worker #if ARCH_ARM64
151*344aa361SAndroid Build Coastguard Worker     return generic_arm64_smc(SMC_FC64_GET_REG_BASE, reg, 0, 0);
152*344aa361SAndroid Build Coastguard Worker #else
153*344aa361SAndroid Build Coastguard Worker     return generic_arm64_smc(SMC_FC_GET_REG_BASE, reg, 0, 0);
154*344aa361SAndroid Build Coastguard Worker #endif
155*344aa361SAndroid Build Coastguard Worker }
156*344aa361SAndroid Build Coastguard Worker 
157*344aa361SAndroid Build Coastguard Worker #endif
158*344aa361SAndroid Build Coastguard Worker 
pci_init_fdt(const void * fdt)159*344aa361SAndroid Build Coastguard Worker int static pci_init_fdt(const void* fdt) {
160*344aa361SAndroid Build Coastguard Worker     int fdt_pci_offset =
161*344aa361SAndroid Build Coastguard Worker             fdt_node_offset_by_compatible(fdt, 0, "pci-host-cam-generic");
162*344aa361SAndroid Build Coastguard Worker     if (fdt_pci_offset < 0) {
163*344aa361SAndroid Build Coastguard Worker         dprintf(CRITICAL, "failed to find pci device tree node\n");
164*344aa361SAndroid Build Coastguard Worker         return ERR_NOT_FOUND;
165*344aa361SAndroid Build Coastguard Worker     }
166*344aa361SAndroid Build Coastguard Worker 
167*344aa361SAndroid Build Coastguard Worker     paddr_t pci_paddr;
168*344aa361SAndroid Build Coastguard Worker     size_t pci_size;
169*344aa361SAndroid Build Coastguard Worker     int ret = fdt_helper_get_reg(fdt, fdt_pci_offset, 0, &pci_paddr, &pci_size);
170*344aa361SAndroid Build Coastguard Worker     if (ret) {
171*344aa361SAndroid Build Coastguard Worker         dprintf(CRITICAL, "failed to find get reg, err %d\n", ret);
172*344aa361SAndroid Build Coastguard Worker         return ERR_NOT_VALID;
173*344aa361SAndroid Build Coastguard Worker     }
174*344aa361SAndroid Build Coastguard Worker 
175*344aa361SAndroid Build Coastguard Worker     return pci_init_mmio(pci_paddr, pci_size, 1 << 11);
176*344aa361SAndroid Build Coastguard Worker }
177*344aa361SAndroid Build Coastguard Worker 
platform_after_vm_init(uint level)178*344aa361SAndroid Build Coastguard Worker static void platform_after_vm_init(uint level) {
179*344aa361SAndroid Build Coastguard Worker #ifdef GIC_VERSION
180*344aa361SAndroid Build Coastguard Worker #if ARM64_BOOT_PROTOCOL_X0_MEMSIZE || ARCH_ARM
181*344aa361SAndroid Build Coastguard Worker     paddr_t gicc = generic_arm64_get_reg_base(SMC_GET_GIC_BASE_GICC);
182*344aa361SAndroid Build Coastguard Worker     paddr_t gicd = generic_arm64_get_reg_base(SMC_GET_GIC_BASE_GICD);
183*344aa361SAndroid Build Coastguard Worker     paddr_t gicr = generic_arm64_get_reg_base(SMC_GET_GIC_BASE_GICR);
184*344aa361SAndroid Build Coastguard Worker #elif ARM64_BOOT_PROTOCOL_X0_DTB
185*344aa361SAndroid Build Coastguard Worker     int ret;
186*344aa361SAndroid Build Coastguard Worker     void* fdt;
187*344aa361SAndroid Build Coastguard Worker     size_t fdt_size;
188*344aa361SAndroid Build Coastguard Worker     paddr_t fdt_paddr = lk_boot_args[0];
189*344aa361SAndroid Build Coastguard Worker     ret = vmm_alloc_physical(
190*344aa361SAndroid Build Coastguard Worker             vmm_get_kernel_aspace(), "device_tree_probe", PAGE_SIZE, &fdt, 0,
191*344aa361SAndroid Build Coastguard Worker             fdt_paddr, 0, ARCH_MMU_FLAG_PERM_NO_EXECUTE | ARCH_MMU_FLAG_CACHED);
192*344aa361SAndroid Build Coastguard Worker     if (ret) {
193*344aa361SAndroid Build Coastguard Worker         dprintf(CRITICAL,
194*344aa361SAndroid Build Coastguard Worker                 "failed to map device tree page at 0x%" PRIxPADDR ": %d\n",
195*344aa361SAndroid Build Coastguard Worker                 fdt_paddr, ret);
196*344aa361SAndroid Build Coastguard Worker         return;
197*344aa361SAndroid Build Coastguard Worker     }
198*344aa361SAndroid Build Coastguard Worker     if (fdt_check_header(fdt)) {
199*344aa361SAndroid Build Coastguard Worker         dprintf(CRITICAL, "invalid device tree at 0x%" PRIxPADDR ": %d\n",
200*344aa361SAndroid Build Coastguard Worker                 fdt_paddr, ret);
201*344aa361SAndroid Build Coastguard Worker         return;
202*344aa361SAndroid Build Coastguard Worker     }
203*344aa361SAndroid Build Coastguard Worker     fdt_size = fdt_totalsize(fdt);
204*344aa361SAndroid Build Coastguard Worker     if (fdt_size > PAGE_SIZE) {
205*344aa361SAndroid Build Coastguard Worker         fdt_size = page_align(fdt_size);
206*344aa361SAndroid Build Coastguard Worker         dprintf(INFO, "remapping device tree with size 0x%zx\n", fdt_size);
207*344aa361SAndroid Build Coastguard Worker         vmm_free_region(vmm_get_kernel_aspace(), (vaddr_t)fdt);
208*344aa361SAndroid Build Coastguard Worker         ret = vmm_alloc_physical(
209*344aa361SAndroid Build Coastguard Worker                 vmm_get_kernel_aspace(), "device_tree_full", fdt_size, &fdt, 0,
210*344aa361SAndroid Build Coastguard Worker                 fdt_paddr, 0,
211*344aa361SAndroid Build Coastguard Worker                 ARCH_MMU_FLAG_PERM_NO_EXECUTE | ARCH_MMU_FLAG_CACHED);
212*344aa361SAndroid Build Coastguard Worker         if (ret) {
213*344aa361SAndroid Build Coastguard Worker             dprintf(CRITICAL,
214*344aa361SAndroid Build Coastguard Worker                     "failed to map device tree at 0x%" PRIxPADDR
215*344aa361SAndroid Build Coastguard Worker                     " sz 0x%zx: %d\n",
216*344aa361SAndroid Build Coastguard Worker                     fdt_paddr, fdt_size, ret);
217*344aa361SAndroid Build Coastguard Worker             return;
218*344aa361SAndroid Build Coastguard Worker         }
219*344aa361SAndroid Build Coastguard Worker     }
220*344aa361SAndroid Build Coastguard Worker 
221*344aa361SAndroid Build Coastguard Worker     generic_arm64_setup_uart(fdt);
222*344aa361SAndroid Build Coastguard Worker 
223*344aa361SAndroid Build Coastguard Worker     int fdt_gic_offset = fdt_node_offset_by_compatible(fdt, 0, "arm,gic-v3");
224*344aa361SAndroid Build Coastguard Worker     paddr_t gicc = 0; /* gic-v3 does not need a memory mapped gicc */
225*344aa361SAndroid Build Coastguard Worker     paddr_t gicd, gicr;
226*344aa361SAndroid Build Coastguard Worker     size_t gicd_size, gicr_size;
227*344aa361SAndroid Build Coastguard Worker     if (fdt_helper_get_reg(fdt, fdt_gic_offset, 0, &gicd, &gicd_size)) {
228*344aa361SAndroid Build Coastguard Worker         dprintf(CRITICAL, "failed get gicd regs, offset %d\n", fdt_gic_offset);
229*344aa361SAndroid Build Coastguard Worker         return;
230*344aa361SAndroid Build Coastguard Worker     }
231*344aa361SAndroid Build Coastguard Worker     if (fdt_helper_get_reg(fdt, fdt_gic_offset, 1, &gicr, &gicr_size)) {
232*344aa361SAndroid Build Coastguard Worker         dprintf(CRITICAL, "failed get gicr regs, offset %d\n", fdt_gic_offset);
233*344aa361SAndroid Build Coastguard Worker         return;
234*344aa361SAndroid Build Coastguard Worker     }
235*344aa361SAndroid Build Coastguard Worker     if (gicd_size != GICD_SIZE) {
236*344aa361SAndroid Build Coastguard Worker         dprintf(CRITICAL, "unexpected gicd_size %zd != %d\n", gicd_size,
237*344aa361SAndroid Build Coastguard Worker                 GICD_SIZE);
238*344aa361SAndroid Build Coastguard Worker         return;
239*344aa361SAndroid Build Coastguard Worker     }
240*344aa361SAndroid Build Coastguard Worker     if (gicr_size < GICR_SIZE) {
241*344aa361SAndroid Build Coastguard Worker         dprintf(CRITICAL, "unexpected gicr_size %zd < %d\n", gicr_size,
242*344aa361SAndroid Build Coastguard Worker                 GICR_SIZE);
243*344aa361SAndroid Build Coastguard Worker         return;
244*344aa361SAndroid Build Coastguard Worker     }
245*344aa361SAndroid Build Coastguard Worker #else
246*344aa361SAndroid Build Coastguard Worker #error "Unknown ARM64_BOOT_PROTOCOL"
247*344aa361SAndroid Build Coastguard Worker #endif
248*344aa361SAndroid Build Coastguard Worker     dprintf(SPEW,
249*344aa361SAndroid Build Coastguard Worker             "gicc 0x%" PRIxPADDR ", gicd 0x%" PRIxPADDR ", gicr 0x%" PRIxPADDR
250*344aa361SAndroid Build Coastguard Worker             "\n",
251*344aa361SAndroid Build Coastguard Worker             gicc, gicd, gicr);
252*344aa361SAndroid Build Coastguard Worker 
253*344aa361SAndroid Build Coastguard Worker     /* initialize the interrupt controller */
254*344aa361SAndroid Build Coastguard Worker     struct arm_gic_init_info init_info = {
255*344aa361SAndroid Build Coastguard Worker             .gicc_paddr = gicc,
256*344aa361SAndroid Build Coastguard Worker             .gicc_size = GICC_SIZE,
257*344aa361SAndroid Build Coastguard Worker             .gicd_paddr = gicd,
258*344aa361SAndroid Build Coastguard Worker             .gicd_size = GICD_SIZE,
259*344aa361SAndroid Build Coastguard Worker             .gicr_paddr = gicr,
260*344aa361SAndroid Build Coastguard Worker             .gicr_size = GICR_SIZE,
261*344aa361SAndroid Build Coastguard Worker     };
262*344aa361SAndroid Build Coastguard Worker     arm_gic_init_map(&init_info);
263*344aa361SAndroid Build Coastguard Worker #endif /* GIC_VERSION */
264*344aa361SAndroid Build Coastguard Worker 
265*344aa361SAndroid Build Coastguard Worker     /* initialize the timer block */
266*344aa361SAndroid Build Coastguard Worker     arm_generic_timer_init(ARM_GENERIC_TIMER_INT, 0);
267*344aa361SAndroid Build Coastguard Worker 
268*344aa361SAndroid Build Coastguard Worker #if ARM64_BOOT_PROTOCOL_X0_DTB
269*344aa361SAndroid Build Coastguard Worker     pci_init_fdt(fdt); /* ignore pci init errors */
270*344aa361SAndroid Build Coastguard Worker #endif
271*344aa361SAndroid Build Coastguard Worker }
272*344aa361SAndroid Build Coastguard Worker 
273*344aa361SAndroid Build Coastguard Worker LK_INIT_HOOK(platform_after_vm, platform_after_vm_init, LK_INIT_LEVEL_VM + 1);
274