diff options
Diffstat (limited to 'extras/mini-os/mm.c')
| -rw-r--r-- | extras/mini-os/mm.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extras/mini-os/mm.c b/extras/mini-os/mm.c index b2a1734b91..a008e65a0a 100644 --- a/extras/mini-os/mm.c +++ b/extras/mini-os/mm.c @@ -372,7 +372,7 @@ void new_pt_frame(unsigned long *pt_pfn, unsigned long prev_l_mfn, unsigned long *tab = (unsigned long *)start_info.pt_base; unsigned long pt_page = (unsigned long)pfn_to_virt(*pt_pfn); unsigned long prot_e, prot_t, pincmd; - mmu_update_t mmu_updates[0]; + mmu_update_t mmu_updates[1]; struct mmuext_op pin_request; DEBUG("Allocating new L%d pt frame for pt_pfn=%lx, " |