diff options
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) { |