pmap_update(pmap_kernel());
pmap_map(va, pa, endpa, prot)	vaddr_t va;	paddr_t pa, endpa;	int prot;{	int pgsize = PAGE_SIZE;	while (pa < endpa) {		pmap_kenter_pa(va, pa, prot);		va += pgsize;		pa += pgsize;	}	pmap_update(pmap_kernel());	return (va);}