blob: d39a7eae8906eeadd40c14b045c8e58e964d7ba6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
#include "pk.h"
#include "vm.h"
#include "frontend.h"
#include "sbi.h"
#include "hcall.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]); })
uintptr_t __sbi_query_memory(uintptr_t id, memory_block_info *p)
{
if (id == 0) {
p->base = current.first_free_paddr;
p->size = mem_size - p->base;
return 0;
}
return -1;
}
|