/* * SPDX-License-Identifier: BSD-2-Clause * * Copyright (c) 2019 Western Digital Corporation or its affiliates. */ #include #include #include #include /* * Include these files as needed. * See config.mk PLATFORM_xxx configuration parameters. */ #include #include #include #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 };