diff options
Diffstat (limited to 'platform/fpga')
-rw-r--r-- | platform/fpga/ariane/platform.c | 11 | ||||
-rw-r--r-- | platform/fpga/openpiton/platform.c | 11 |
2 files changed, 0 insertions, 22 deletions
diff --git a/platform/fpga/ariane/platform.c b/platform/fpga/ariane/platform.c index a4d437e..ea179e5 100644 --- a/platform/fpga/ariane/platform.c +++ b/platform/fpga/ariane/platform.c @@ -148,16 +148,6 @@ static int ariane_timer_init(bool cold_boot) } /* - * Reset the ariane. - */ -static int ariane_system_reset(u32 type) -{ - /* For now nothing to do. */ - sbi_printf("System reset\n"); - return 0; -} - -/* * Platform descriptor. */ const struct sbi_platform_operations platform_ops = { @@ -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 095004d..5eae477 100644 --- a/platform/fpga/openpiton/platform.c +++ b/platform/fpga/openpiton/platform.c @@ -174,16 +174,6 @@ static int openpiton_timer_init(bool cold_boot) } /* - * Reset the openpiton. - */ -static int openpiton_system_reset(u32 type) -{ - /* For now nothing to do. */ - sbi_printf("System reset\n"); - return 0; -} - -/* * Platform descriptor. */ const struct sbi_platform_operations platform_ops = { @@ -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 = { |