diff options
author | Andrew Waterman <waterman@cs.berkeley.edu> | 2015-04-03 22:18:54 -0700 |
---|---|---|
committer | Andrew Waterman <waterman@cs.berkeley.edu> | 2015-04-03 22:18:54 -0700 |
commit | 01fd29cb6ef8202ef6201f6f471dec9cbd1a4145 (patch) | |
tree | 0f499fd2c72cdf8beef41983b15ddea05bf23a1f /pk/emulation.c | |
parent | a24e1934dd116a3a6a11c095de7bed56ee271986 (diff) | |
download | pk-01fd29cb6ef8202ef6201f6f471dec9cbd1a4145.zip pk-01fd29cb6ef8202ef6201f6f471dec9cbd1a4145.tar.gz pk-01fd29cb6ef8202ef6201f6f471dec9cbd1a4145.tar.bz2 |
Make PK compile on RV32
Of course, it doesn't work, because there's no support for
fromhost/tohost devices in RV32.
Diffstat (limited to 'pk/emulation.c')
-rw-r--r-- | pk/emulation.c | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/pk/emulation.c b/pk/emulation.c index 11411b3..7e8000e 100644 --- a/pk/emulation.c +++ b/pk/emulation.c @@ -271,11 +271,9 @@ DECLARE_EMULATION_FUNC(emulate_float_store) } #ifdef __riscv64 -typedef int double_int __attribute__((mode(TI))); -typedef unsigned int double_uint __attribute__((mode(TI))); +typedef __int128 double_int; #else typedef int64_t double_int; -typedef uint64_t double_int; #endif DECLARE_EMULATION_FUNC(emulate_mul_div) |