aboutsummaryrefslogtreecommitdiff
path: root/pk/sbi.S
diff options
context:
space:
mode:
authorAndrew Waterman <waterman@cs.berkeley.edu>2015-05-29 18:24:28 -0700
committerAndrew Waterman <waterman@cs.berkeley.edu>2015-05-29 18:24:28 -0700
commitcffdcee338ea682c74fa778244241e2f060199bf (patch)
tree17cbc43440db766cc5aba5a03afdc07e83e03e93 /pk/sbi.S
parent835d03d2160be9ee50ba5fd892554ef62fcb13b8 (diff)
downloadpk-cffdcee338ea682c74fa778244241e2f060199bf.zip
pk-cffdcee338ea682c74fa778244241e2f060199bf.tar.gz
pk-cffdcee338ea682c74fa778244241e2f060199bf.tar.bz2
Make boot loader/SBI changes to support SMP Linux
Diffstat (limited to 'pk/sbi.S')
-rw-r--r--pk/sbi.S5
1 files changed, 3 insertions, 2 deletions
diff --git a/pk/sbi.S b/pk/sbi.S
index 7d94d04..08d19e4 100644
--- a/pk/sbi.S
+++ b/pk/sbi.S
@@ -5,5 +5,6 @@
.globl sbi_send_device_request; sbi_send_device_request = -1984
.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
+.globl sbi_clear_ipi; sbi_clear_ipi = -1936
+.globl sbi_timebase; sbi_timebase = -1920
+.globl sbi_shutdown; sbi_shutdown = -1904