diff options
| author | Andrew Waterman <waterman@cs.berkeley.edu> | 2016-07-12 12:44:47 -0700 |
|---|---|---|
| committer | Andrew Waterman <waterman@cs.berkeley.edu> | 2016-07-12 12:44:47 -0700 |
| commit | 6bead31951a5f70508b343681a6f6905324f7bec (patch) | |
| tree | 245bd997f59ea97ac14a90175ec5d1c6075a394d /pk/frontend.h | |
| parent | d88671efdfd08f5fcb33b4c4099d79eb82978c62 (diff) | |
| download | pk-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.h | 2 |
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; |