diff --git a/platform/andes/ae350/platform.c b/platform/andes/ae350/platform.c index 954942c7..6d6ce4ec 100644 --- a/platform/andes/ae350/platform.c +++ b/platform/andes/ae350/platform.c @@ -114,14 +114,6 @@ static int ae350_timer_init(bool cold_boot) return plmt_warm_timer_init(); } -/* Reset the platform. */ -static int ae350_system_reset(u32 type) -{ - /* For now nothing to do. */ - sbi_printf("System reset\n"); - return 0; -} - /* Vendor-Specific SBI handler */ static int ae350_vendor_ext_provider(long extid, long funcid, unsigned long *args, unsigned long *out_value, @@ -185,8 +177,6 @@ const struct sbi_platform_operations platform_ops = { .timer_event_start = plmt_timer_event_start, .timer_event_stop = plmt_timer_event_stop, - .system_reset = ae350_system_reset, - .vendor_ext_provider = ae350_vendor_ext_provider }; diff --git a/platform/fpga/ariane/platform.c b/platform/fpga/ariane/platform.c index a4d437e4..ea179e52 100644 --- a/platform/fpga/ariane/platform.c +++ b/platform/fpga/ariane/platform.c @@ -147,16 +147,6 @@ static int ariane_timer_init(bool cold_boot) return clint_warm_timer_init(); } -/* - * Reset the ariane. - */ -static int ariane_system_reset(u32 type) -{ - /* For now nothing to do. */ - sbi_printf("System reset\n"); - return 0; -} - /* * Platform descriptor. */ @@ -174,7 +164,6 @@ const struct sbi_platform_operations platform_ops = { .timer_value = clint_timer_value, .timer_event_start = clint_timer_event_start, .timer_event_stop = clint_timer_event_stop, - .system_reset = ariane_system_reset }; const struct sbi_platform platform = { diff --git a/platform/fpga/openpiton/platform.c b/platform/fpga/openpiton/platform.c index 095004de..5eae4779 100644 --- a/platform/fpga/openpiton/platform.c +++ b/platform/fpga/openpiton/platform.c @@ -173,16 +173,6 @@ static int openpiton_timer_init(bool cold_boot) return clint_warm_timer_init(); } -/* - * Reset the openpiton. - */ -static int openpiton_system_reset(u32 type) -{ - /* For now nothing to do. */ - sbi_printf("System reset\n"); - return 0; -} - /* * Platform descriptor. */ @@ -200,7 +190,6 @@ const struct sbi_platform_operations platform_ops = { .timer_value = clint_timer_value, .timer_event_start = clint_timer_event_start, .timer_event_stop = clint_timer_event_stop, - .system_reset = openpiton_system_reset }; const struct sbi_platform platform = { diff --git a/platform/kendryte/k210/platform.c b/platform/kendryte/k210/platform.c index 75883ed7..944b3888 100644 --- a/platform/kendryte/k210/platform.c +++ b/platform/kendryte/k210/platform.c @@ -129,14 +129,6 @@ static int k210_timer_init(bool cold_boot) return clint_warm_timer_init(); } -static int k210_system_reset(u32 type) -{ - /* For now nothing to do. */ - sbi_printf("System reset\n"); - - return 0; -} - const struct sbi_platform_operations platform_ops = { .final_init = k210_final_init, @@ -154,8 +146,6 @@ const struct sbi_platform_operations platform_ops = { .timer_value = clint_timer_value, .timer_event_stop = clint_timer_event_stop, .timer_event_start = clint_timer_event_start, - - .system_reset = k210_system_reset }; const struct sbi_platform platform = { diff --git a/platform/sifive/fu540/platform.c b/platform/sifive/fu540/platform.c index 755e479c..cdd82936 100644 --- a/platform/sifive/fu540/platform.c +++ b/platform/sifive/fu540/platform.c @@ -154,12 +154,6 @@ static u32 fu540_hart_index2id[FU540_HART_COUNT - 1] = { [3] = 4, }; -static int fu540_system_reset(u32 type) -{ - /* For now nothing to do. */ - return 0; -} - const struct sbi_platform_operations platform_ops = { .final_init = fu540_final_init, .console_putc = sifive_uart_putc, @@ -174,7 +168,6 @@ const struct sbi_platform_operations platform_ops = { .timer_event_stop = clint_timer_event_stop, .timer_event_start = clint_timer_event_start, .timer_init = fu540_timer_init, - .system_reset = fu540_system_reset }; const struct sbi_platform platform = {