diff options
| author | Andrew Waterman <waterman@cs.berkeley.edu> | 2015-11-12 17:48:26 -0800 |
|---|---|---|
| committer | Andrew Waterman <waterman@cs.berkeley.edu> | 2015-11-12 17:48:48 -0800 |
| commit | 47f9e06fc2c696dfb1054d730cde888f1ac75d07 (patch) | |
| tree | 29e15e824e6d774cfe06e3520933ae8f5e743396 /pk/vm.c | |
| parent | 9cc6732d806b4a7e4842528606fa1390e7ab0a90 (diff) | |
| download | pk-47f9e06fc2c696dfb1054d730cde888f1ac75d07.zip pk-47f9e06fc2c696dfb1054d730cde888f1ac75d07.tar.gz pk-47f9e06fc2c696dfb1054d730cde888f1ac75d07.tar.bz2 | |
Read and use devicetree -- THIS BREAKS ROCKET FOR NOW
Diffstat (limited to 'pk/vm.c')
| -rw-r--r-- | pk/vm.c | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -423,6 +423,7 @@ static uintptr_t sbi_top_paddr() void vm_init() { + mem_size = mem_size / SUPERPAGE_SIZE * SUPERPAGE_SIZE; current.first_free_paddr = first_free_paddr(); size_t mem_pages = mem_size >> RISCV_PGSHIFT; |