timer: remove more dead references

diff --git a/Kernel/platform-px4plus/px4plus.s b/Kernel/platform-px4plus/px4plus.s
index c15b179..3cf4adc 100644 (file)
--- a/Kernel/platform-px4plus/px4plus.s
+++ b/Kernel/platform-px4plus/px4plus.s
@@ -16,7 +16,6 @@
             .globl init_early
             .globl init_hardware
             .globl _program_vectors
-            .globl _system_tick_counter
 
            .globl map_kernel
            .globl map_process

diff --git a/Kernel/platform-z80pack32/z80pack.s b/Kernel/platform-z80pack32/z80pack.s
index 1390024..17b6ed5 100644 (file)
--- a/Kernel/platform-z80pack32/z80pack.s
+++ b/Kernel/platform-z80pack32/z80pack.s
@@ -16,7 +16,6 @@
             .globl init_early
             .globl init_hardware
             .globl _program_vectors
-            .globl _system_tick_counter
            .globl platform_interrupt_all
 
            .globl map_kernel