diff options
| author | Andrew Waterman <waterman@cs.berkeley.edu> | 2015-03-17 01:19:10 -0700 |
|---|---|---|
| committer | Andrew Waterman <waterman@cs.berkeley.edu> | 2015-03-17 01:19:10 -0700 |
| commit | a79f62f72a897f9eafea1b41d98e1367dd413d02 (patch) | |
| tree | a33fd2d144dfb84888bc249a61ce7112e9e54bb2 /pk/sbi_impl.c | |
| parent | 40668501fa8d52054f5678db4e6dd32b5ed7fe15 (diff) | |
| download | pk-a79f62f72a897f9eafea1b41d98e1367dd413d02.zip pk-a79f62f72a897f9eafea1b41d98e1367dd413d02.tar.gz pk-a79f62f72a897f9eafea1b41d98e1367dd413d02.tar.bz2 | |
Merge [shm]call into ecall, [shm]ret into eret
Diffstat (limited to 'pk/sbi_impl.c')
| -rw-r--r-- | pk/sbi_impl.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pk/sbi_impl.c b/pk/sbi_impl.c index d39a7ea..03a56bc 100644 --- a/pk/sbi_impl.c +++ b/pk/sbi_impl.c @@ -2,14 +2,14 @@ #include "vm.h" #include "frontend.h" #include "sbi.h" -#include "hcall.h" +#include "mcall.h" #include <errno.h> #define sbi_printk(str, ...) ({ \ char buf[1024]; /* XXX */ \ sprintk(buf, str, __VA_ARGS__); \ for (size_t i = 0; buf[i]; i++) \ - do_hcall(HCALL_CONSOLE_PUTCHAR, buf[i]); }) + do_mcall(MCALL_CONSOLE_PUTCHAR, buf[i]); }) uintptr_t __sbi_query_memory(uintptr_t id, memory_block_info *p) { |