diff options
| author | Andrew Waterman <waterman@cs.berkeley.edu> | 2015-03-12 17:38:04 -0700 |
|---|---|---|
| committer | Andrew Waterman <waterman@cs.berkeley.edu> | 2015-03-12 17:38:04 -0700 |
| commit | 6517fe26a2a0c89c3112f4a383c601572c71d64a (patch) | |
| tree | d37eea7ae6f3e15eee94afb5c9c749a4cd800577 /pk/sbi.S | |
| parent | a4ae7da6ef0c09c2616a0b82f7f569e4e134f75c (diff) | |
| download | pk-6517fe26a2a0c89c3112f4a383c601572c71d64a.zip pk-6517fe26a2a0c89c3112f4a383c601572c71d64a.tar.gz pk-6517fe26a2a0c89c3112f4a383c601572c71d64a.tar.bz2 | |
Update to new privileged spec
Diffstat (limited to 'pk/sbi.S')
| -rw-r--r-- | pk/sbi.S | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/pk/sbi.S b/pk/sbi.S new file mode 100644 index 0000000..a8d5066 --- /dev/null +++ b/pk/sbi.S @@ -0,0 +1,7 @@ +.globl sbi_hart_id; sbi_hart_id = -2048 +.globl sbi_num_harts; sbi_num_harts = -2032 +.globl sbi_query_memory; sbi_query_memory = -2016 +.globl sbi_console_putchar; sbi_console_putchar = -2000 +.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 |