1 files changed, 1 insertions, 0 deletions

diff --git a/pk/sbi.S b/pk/sbi.S
index e7638ec..7d94d04 100644
--- a/pk/sbi.S
+++ b/pk/sbi.S
@@ -6,3 +6,4 @@
 .globl sbi_receive_device_response; sbi_receive_device_response = -1968
 .globl sbi_send_ipi; sbi_send_ipi = -1952
 .globl sbi_timebase; sbi_timebase = -1936
+.globl sbi_shutdown; sbi_shutdown = -1920