123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137 |
- /*
- * SPDX-License-Identifier: BSD-2-Clause
- *
- * Copyright (c) 2019 Western Digital Corporation or its affiliates.
- */
- #include <sbi/riscv_asm.h>
- #include <sbi/riscv_encoding.h>
- #include <sbi/sbi_const.h>
- #include <sbi/sbi_platform.h>
- /*
- * Include these files as needed.
- * See config.mk PLATFORM_xxx configuration parameters.
- */
- #include <sbi_utils/irqchip/plic.h>
- #include <sbi_utils/serial/uart8250.h>
- #include <sbi_utils/sys/clint.h>
- #define PLATFORM_PLIC_ADDR 0xc000000
- #define PLATFORM_PLIC_NUM_SOURCES 128
- #define PLATFORM_HART_COUNT 4
- #define PLATFORM_CLINT_ADDR 0x2000000
- #define PLATFORM_UART_ADDR 0x09000000
- #define PLATFORM_UART_INPUT_FREQ 10000000
- #define PLATFORM_UART_BAUDRATE 115200
- static struct plic_data plic = {
- .addr = PLATFORM_PLIC_ADDR,
- .num_src = PLATFORM_PLIC_NUM_SOURCES,
- };
- static struct clint_data clint = {
- .addr = PLATFORM_CLINT_ADDR,
- .first_hartid = 0,
- .hart_count = PLATFORM_HART_COUNT,
- .has_64bit_mmio = TRUE,
- };
- /*
- * Platform early initialization.
- */
- static int platform_early_init(bool cold_boot)
- {
- return 0;
- }
- /*
- * Platform final initialization.
- */
- static int platform_final_init(bool cold_boot)
- {
- return 0;
- }
- /*
- * Initialize the platform console.
- */
- static int platform_console_init(void)
- {
- /* Example if the generic UART8250 driver is used */
- return uart8250_init(PLATFORM_UART_ADDR, PLATFORM_UART_INPUT_FREQ,
- PLATFORM_UART_BAUDRATE, 0, 1);
- }
- /*
- * Initialize the platform interrupt controller for current HART.
- */
- static int platform_irqchip_init(bool cold_boot)
- {
- u32 hartid = current_hartid();
- int ret;
- /* Example if the generic PLIC driver is used */
- if (cold_boot) {
- ret = plic_cold_irqchip_init(&plic);
- if (ret)
- return ret;
- }
- return plic_warm_irqchip_init(&plic, 2 * hartid, 2 * hartid + 1);
- }
- /*
- * Initialize IPI for current HART.
- */
- static int platform_ipi_init(bool cold_boot)
- {
- int ret;
- /* Example if the generic CLINT driver is used */
- if (cold_boot) {
- ret = clint_cold_ipi_init(&clint);
- if (ret)
- return ret;
- }
- return clint_warm_ipi_init();
- }
- /*
- * Initialize platform timer for current HART.
- */
- static int platform_timer_init(bool cold_boot)
- {
- int ret;
- /* Example if the generic CLINT driver is used */
- if (cold_boot) {
- ret = clint_cold_timer_init(&clint, NULL);
- if (ret)
- return ret;
- }
- return clint_warm_timer_init();
- }
- /*
- * Platform descriptor.
- */
- const struct sbi_platform_operations platform_ops = {
- .early_init = platform_early_init,
- .final_init = platform_final_init,
- .console_init = platform_console_init,
- .irqchip_init = platform_irqchip_init,
- .ipi_init = platform_ipi_init,
- .timer_init = platform_timer_init
- };
- const struct sbi_platform platform = {
- .opensbi_version = OPENSBI_VERSION,
- .platform_version = SBI_PLATFORM_VERSION(0x0, 0x00),
- .name = "platform-name",
- .features = SBI_PLATFORM_DEFAULT_FEATURES,
- .hart_count = 1,
- .hart_stack_size = SBI_PLATFORM_DEFAULT_HART_STACK_SIZE,
- .platform_ops_addr = (unsigned long)&platform_ops
- };
|