diff options
| author | Andrew Waterman <waterman@cs.berkeley.edu> | 2016-05-05 15:47:49 -0700 |
|---|---|---|
| committer | Andrew Waterman <waterman@cs.berkeley.edu> | 2016-05-05 15:47:49 -0700 |
| commit | 552bc9bf1b09dc33a38d01a9027862ee681072e4 (patch) | |
| tree | 564fe4fd3513b6ffa547068eceb8cea0d9697e8f /machine | |
| parent | ee610c0ff858b73b01a3e54d14e640fe08de092d (diff) | |
| download | pk-552bc9bf1b09dc33a38d01a9027862ee681072e4.zip pk-552bc9bf1b09dc33a38d01a9027862ee681072e4.tar.gz pk-552bc9bf1b09dc33a38d01a9027862ee681072e4.tar.bz2 | |
Add missing casts for RV32
Diffstat (limited to 'machine')
| -rw-r--r-- | machine/configstring.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/machine/configstring.c b/machine/configstring.c index 843053c..2805c21 100644 --- a/machine/configstring.c +++ b/machine/configstring.c @@ -17,7 +17,7 @@ static void query_rtc(const char* config_string) { query_result res = query_config_string(config_string, "rtc{addr"); assert(res.start); - mtime = (void*)get_uint(res); + mtime = (void*)(uintptr_t)get_uint(res); } static void query_harts(const char* config_string) @@ -30,12 +30,12 @@ static void query_harts(const char* config_string) if (!res.start) break; hls_t* hls = hls_init(num_harts); - hls->ipi = (void*)get_uint(res); + hls->ipi = (void*)(uintptr_t)get_uint(res); snprintf(buf, sizeof buf, "core{%d{%d{timecmp", core, hart); res = query_config_string(config_string, buf); assert(res.start); - hls->timecmp = (void*)get_uint(res); + hls->timecmp = (void*)(uintptr_t)get_uint(res); num_harts++; } |