diff options
Diffstat (limited to 'platform/kendryte/k210/platform.c')
-rw-r--r-- | platform/kendryte/k210/platform.c | 35 |
1 files changed, 15 insertions, 20 deletions
diff --git a/platform/kendryte/k210/platform.c b/platform/kendryte/k210/platform.c index cba83da..136e58e 100644 --- a/platform/kendryte/k210/platform.c +++ b/platform/kendryte/k210/platform.c @@ -17,7 +17,7 @@ #include "platform.h" #include "uarths.h" -#define K210_UART_BAUDRATE 115200 +#define K210_UART_BAUDRATE 115200 static int k210_console_init(void) { @@ -42,16 +42,13 @@ static int k210_irqchip_init(bool cold_boot) u32 hartid = sbi_current_hartid(); if (cold_boot) { - rc = plic_cold_irqchip_init(PLIC_BASE_ADDR, - PLIC_NUM_SOURCES, + rc = plic_cold_irqchip_init(PLIC_BASE_ADDR, PLIC_NUM_SOURCES, K210_HART_COUNT); if (rc) return rc; } - return plic_warm_irqchip_init(hartid, - (2 * hartid), - (2 * hartid + 1)); + return plic_warm_irqchip_init(hartid, (2 * hartid), (2 * hartid + 1)); } static int k210_ipi_init(bool cold_boot) @@ -59,8 +56,7 @@ static int k210_ipi_init(bool cold_boot) int rc; if (cold_boot) { - rc = clint_cold_ipi_init(CLINT_BASE_ADDR, - K210_HART_COUNT); + rc = clint_cold_ipi_init(CLINT_BASE_ADDR, K210_HART_COUNT); if (rc) return rc; } @@ -73,8 +69,7 @@ static int k210_timer_init(bool cold_boot) int rc; if (cold_boot) { - rc = clint_cold_timer_init(CLINT_BASE_ADDR, - K210_HART_COUNT); + rc = clint_cold_timer_init(CLINT_BASE_ADDR, K210_HART_COUNT); if (rc) return rc; } @@ -100,11 +95,11 @@ static int k210_system_shutdown(u32 type) const struct sbi_platform platform = { - .name = "Kendryte K210", + .name = "Kendryte K210", .features = SBI_PLATFORM_HAS_TIMER_VALUE, - .hart_count = K210_HART_COUNT, - .hart_stack_size = K210_HART_STACK_SIZE, + .hart_count = K210_HART_COUNT, + .hart_stack_size = K210_HART_STACK_SIZE, .disabled_hart_mask = 0, .console_init = k210_console_init, @@ -113,16 +108,16 @@ const struct sbi_platform platform = { .irqchip_init = k210_irqchip_init, - .ipi_init = k210_ipi_init, - .ipi_send = clint_ipi_send, - .ipi_sync = clint_ipi_sync, + .ipi_init = k210_ipi_init, + .ipi_send = clint_ipi_send, + .ipi_sync = clint_ipi_sync, .ipi_clear = clint_ipi_clear, - .timer_init = k210_timer_init, - .timer_value = clint_timer_value, - .timer_event_stop = clint_timer_event_stop, + .timer_init = k210_timer_init, + .timer_value = clint_timer_value, + .timer_event_stop = clint_timer_event_stop, .timer_event_start = clint_timer_event_start, - .system_reboot = k210_system_reboot, + .system_reboot = k210_system_reboot, .system_shutdown = k210_system_shutdown }; |