mmu_reservemon4m
mmu_reservemon4m(&kernel_pmap_store);
/*static*/ void mmu_reservemon4m(struct pmap *);