as_pbase1         154 kern/arch/mips/vm/dumbvm.c 	KASSERT(as->as_pbase1 != 0);
as_pbase1         161 kern/arch/mips/vm/dumbvm.c 	KASSERT((as->as_pbase1 & PAGE_FRAME) == as->as_pbase1);
as_pbase1         174 kern/arch/mips/vm/dumbvm.c 		paddr = (faultaddress - vbase1) + as->as_pbase1;
as_pbase1         219 kern/arch/mips/vm/dumbvm.c 	as->as_pbase1 = 0;
as_pbase1         314 kern/arch/mips/vm/dumbvm.c 	KASSERT(as->as_pbase1 == 0);
as_pbase1         318 kern/arch/mips/vm/dumbvm.c 	as->as_pbase1 = getppages(as->as_npages1);
as_pbase1         319 kern/arch/mips/vm/dumbvm.c 	if (as->as_pbase1 == 0) {
as_pbase1         333 kern/arch/mips/vm/dumbvm.c 	as_zero_region(as->as_pbase1, as->as_npages1);
as_pbase1         377 kern/arch/mips/vm/dumbvm.c 	KASSERT(new->as_pbase1 != 0);
as_pbase1         381 kern/arch/mips/vm/dumbvm.c 	memmove((void *)PADDR_TO_KVADDR(new->as_pbase1),
as_pbase1         382 kern/arch/mips/vm/dumbvm.c 		(const void *)PADDR_TO_KVADDR(old->as_pbase1),
as_pbase1          52 kern/include/addrspace.h   paddr_t as_pbase1;