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)
commite7f1c7c3fdfdff02a79b708dd2d1b195d53124d9
tree2616098bc0998a09686960f2da2d4b610a420732
parentb61ae3b1fde49ecf9645479fd58174fb08e8eaf9
armv8: fix duplicate platform_get_timer_interrupt

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
kernel/arch/armv8/plat_arm_vm_consts.c