mmu040_setup
mmu040_setup(Sysseg_pa, kstsize, ptpa, ptsize, Sysptmap_pa,
static void mmu040_setup(paddr_t, u_int, paddr_t, psize_t, paddr_t, paddr_t);