armv8: fix duplicate platform_get_timer_interrupt
authorLukas Humbel <lukas.humbel@inf.ethz.ch>
Fri, 8 Nov 2019 09:36:47 +0000 (10:36 +0100)
committerLukas Humbel <lukas.humbel@inf.ethz.ch>
Fri, 8 Nov 2019 10:46:35 +0000 (11:46 +0100)
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

kernel/arch/armv8/plat_arm_vm_consts.c

index 62012f2..78c02d5 100644 (file)
@@ -55,7 +55,3 @@ lpaddr_t platform_uart_base[MAX_NUM_UARTS]= {
 size_t platform_uart_size[MAX_NUM_UARTS]= {
     4096
 };
-
-uint32_t platform_get_timer_interrupt(void){
-    return 30;
-}