aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndrew Waterman <waterman@cs.berkeley.edu>2016-07-12 12:44:47 -0700
committerAndrew Waterman <waterman@cs.berkeley.edu>2016-07-12 12:44:47 -0700
commit6bead31951a5f70508b343681a6f6905324f7bec (patch)
tree245bd997f59ea97ac14a90175ec5d1c6075a394d
parentd88671efdfd08f5fcb33b4c4099d79eb82978c62 (diff)
downloadpk-6bead31951a5f70508b343681a6f6905324f7bec.zip
pk-6bead31951a5f70508b343681a6f6905324f7bec.tar.gz
pk-6bead31951a5f70508b343681a6f6905324f7bec.tar.bz2
zero-extend RV32 physical addresses for HTIF
-rw-r--r--pk/frontend.c2
-rw-r--r--pk/frontend.h2
2 files changed, 2 insertions, 2 deletions
diff --git a/pk/frontend.c b/pk/frontend.c
index f0e629f..13fdfcf 100644
--- a/pk/frontend.c
+++ b/pk/frontend.c
@@ -8,7 +8,7 @@
#include "syscall.h"
#include <stdint.h>
-long frontend_syscall(long n, long a0, long a1, long a2, long a3, long a4, long a5, long a6)
+long frontend_syscall(long n, uint64_t a0, uint64_t a1, uint64_t a2, uint64_t a3, uint64_t a4, uint64_t a5, uint64_t a6)
{
static volatile uint64_t magic_mem[8];
diff --git a/pk/frontend.h b/pk/frontend.h
index 5b9df31..7da3c81 100644
--- a/pk/frontend.h
+++ b/pk/frontend.h
@@ -7,7 +7,7 @@
#include <sys/stat.h>
void shutdown(int) __attribute__((noreturn));
-long frontend_syscall(long n, long a0, long a1, long a2, long a3, long a4, long a5, long a6);
+long frontend_syscall(long n, uint64_t a0, uint64_t a1, uint64_t a2, uint64_t a3, uint64_t a4, uint64_t a5, uint64_t a6);
struct frontend_stat {
uint64_t dev;