1 // SPDX-License-Identifier: BSD-2-Clause 2 /* 3 * Copyright 2019 Broadcom. 4 */ 5 6 #include <console.h> 7 #include <drivers/gic.h> 8 #include <drivers/serial8250_uart.h> 9 #include <kernel/generic_boot.h> 10 #include <kernel/interrupt.h> 11 #include <kernel/panic.h> 12 #include <kernel/pm_stubs.h> 13 #include <mm/core_memprot.h> 14 #include <mm/tee_pager.h> 15 #include <platform_config.h> 16 #include <stdint.h> 17 #include <tee/entry_fast.h> 18 #include <tee/entry_std.h> 19 20 static const struct thread_handlers handlers = { 21 .cpu_on = cpu_on_handler, 22 .cpu_off = pm_do_nothing, 23 .cpu_suspend = pm_do_nothing, 24 .cpu_resume = pm_do_nothing, 25 .system_off = pm_do_nothing, 26 .system_reset = pm_do_nothing, 27 }; 28 29 static struct gic_data gic_data; 30 struct serial8250_uart_data console_data; 31 32 #ifdef BCM_DEVICE0_BASE 33 register_phys_mem_pgdir(MEM_AREA_IO_SEC, BCM_DEVICE0_BASE, BCM_DEVICE0_SIZE); 34 #endif 35 #ifdef BCM_DEVICE1_BASE 36 register_phys_mem_pgdir(MEM_AREA_IO_SEC, BCM_DEVICE1_BASE, BCM_DEVICE1_SIZE); 37 #endif 38 #ifdef BCM_DEVICE2_BASE 39 register_phys_mem_pgdir(MEM_AREA_IO_SEC, BCM_DEVICE2_BASE, BCM_DEVICE2_SIZE); 40 #endif 41 #ifdef BCM_DEVICE3_BASE 42 register_phys_mem_pgdir(MEM_AREA_IO_SEC, BCM_DEVICE3_BASE, BCM_DEVICE3_SIZE); 43 #endif 44 #ifdef BCM_DEVICE4_BASE 45 register_phys_mem_pgdir(MEM_AREA_IO_SEC, BCM_DEVICE4_BASE, BCM_DEVICE4_SIZE); 46 #endif 47 #ifdef BCM_DEVICE5_BASE 48 register_phys_mem_pgdir(MEM_AREA_IO_NSEC, BCM_DEVICE5_BASE, BCM_DEVICE5_SIZE); 49 #endif 50 #ifdef BCM_DRAM0_NS_BASE 51 register_dynamic_shm(BCM_DRAM0_NS_BASE, BCM_DRAM0_NS_SIZE); 52 #endif 53 #ifdef BCM_DRAM1_NS_BASE 54 register_dynamic_shm(BCM_DRAM1_NS_BASE, BCM_DRAM1_NS_SIZE); 55 #endif 56 #ifdef BCM_DRAM2_NS_BASE 57 register_dynamic_shm(BCM_DRAM2_NS_BASE, BCM_DRAM2_NS_SIZE); 58 #endif 59 #ifdef BCM_DRAM0_SEC_BASE 60 register_phys_mem(MEM_AREA_RAM_SEC, BCM_DRAM0_SEC_BASE, BCM_DRAM0_SEC_SIZE); 61 #endif 62 63 const struct thread_handlers *generic_boot_get_handlers(void) 64 { 65 return &handlers; 66 } 67 68 void console_init(void) 69 { 70 serial8250_uart_init(&console_data, CONSOLE_UART_BASE, 71 CONSOLE_UART_CLK_IN_HZ, CONSOLE_BAUDRATE); 72 register_serial_console(&console_data.chip); 73 } 74 75 void itr_core_handler(void) 76 { 77 gic_it_handle(&gic_data); 78 } 79 80 void main_init_gic(void) 81 { 82 vaddr_t gicd_base; 83 84 gicd_base = core_mmu_get_va(GICD_BASE, MEM_AREA_IO_SEC); 85 86 if (!gicd_base) 87 panic(); 88 89 gic_init_base_addr(&gic_data, 0, gicd_base); 90 itr_init(&gic_data.chip); 91 92 } 93