1 files changed, 1 insertions, 0 deletions

diff --git a/pk/sbi.S b/pk/sbi.S
index 08d19e4..7c3bfcc 100644
--- a/pk/sbi.S
+++ b/pk/sbi.S
@@ -8,3 +8,4 @@
 .globl sbi_clear_ipi; sbi_clear_ipi = -1936
 .globl sbi_timebase; sbi_timebase = -1920
 .globl sbi_shutdown; sbi_shutdown = -1904
+.globl sbi_set_timer; sbi_set_timer = -1888