diff options
Diffstat (limited to 'machine/minit.c')
-rw-r--r-- | machine/minit.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/machine/minit.c b/machine/minit.c index 0052eb7..e78bbbb 100644 --- a/machine/minit.c +++ b/machine/minit.c @@ -9,7 +9,6 @@ pte_t* root_page_table; uintptr_t mem_size; -uintptr_t num_harts; volatile uint64_t* mtime; volatile uint32_t* plic_priorities; size_t plic_ndevs; |