diff options
| author | Andrew Waterman <waterman@cs.berkeley.edu> | 2016-03-10 00:42:47 -0800 |
|---|---|---|
| committer | Andrew Waterman <waterman@cs.berkeley.edu> | 2016-03-10 00:42:47 -0800 |
| commit | 469c5f16a7ce5a913248367a420d43dc3518eb88 (patch) | |
| tree | 91ab6ca1ba68d84ecaa80f25e1ef45c737c13adf /machine/minit.c | |
| parent | 8bd01c7999a1ba98e556492950d76789fe41462b (diff) | |
| download | pk-469c5f16a7ce5a913248367a420d43dc3518eb88.zip pk-469c5f16a7ce5a913248367a420d43dc3518eb88.tar.gz pk-469c5f16a7ce5a913248367a420d43dc3518eb88.tar.bz2 | |
Make num_harts a uintptr_t
Making it a uint32_t is a false economy.
Diffstat (limited to 'machine/minit.c')
| -rw-r--r-- | machine/minit.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/machine/minit.c b/machine/minit.c index 33b94c8..4bc0f27 100644 --- a/machine/minit.c +++ b/machine/minit.c @@ -7,7 +7,7 @@ pte_t* root_page_table; uintptr_t first_free_paddr; uintptr_t mem_size; -uint32_t num_harts; +uintptr_t num_harts; static void mstatus_init() { @@ -60,7 +60,7 @@ static void fp_init() #endif } -void hls_init(uint32_t id, csr_t* csrs) +void hls_init(uintptr_t id, csr_t* csrs) { hls_t* hls = OTHER_HLS(id); memset(hls, 0, sizeof(*hls)); |