mmu_reservemon4_4c
mmu_reservemon4_4c(&nregion, &nsegment);
/*static*/ void mmu_reservemon4_4c(int *, int *);