diff options
author | Andrew Waterman <waterman@cs.berkeley.edu> | 2015-05-29 18:24:28 -0700 |
---|---|---|
committer | Andrew Waterman <waterman@cs.berkeley.edu> | 2015-05-29 18:24:28 -0700 |
commit | cffdcee338ea682c74fa778244241e2f060199bf (patch) | |
tree | 17cbc43440db766cc5aba5a03afdc07e83e03e93 /pk/sbi.S | |
parent | 835d03d2160be9ee50ba5fd892554ef62fcb13b8 (diff) | |
download | pk-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.S | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -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 |