aboutsummaryrefslogtreecommitdiff
path: root/pk/frontend.h
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 /pk/frontend.h
parentd88671efdfd08f5fcb33b4c4099d79eb82978c62 (diff)
downloadpk-6bead31951a5f70508b343681a6f6905324f7bec.zip
pk-6bead31951a5f70508b343681a6f6905324f7bec.tar.gz
pk-6bead31951a5f70508b343681a6f6905324f7bec.tar.bz2
zero-extend RV32 physical addresses for HTIF
Diffstat (limited to 'pk/frontend.h')
-rw-r--r--pk/frontend.h2
1 files changed, 1 insertions, 1 deletions
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;