as_pbase2         157 kern/arch/mips/vm/dumbvm.c 	KASSERT(as->as_pbase2 != 0);
as_pbase2         163 kern/arch/mips/vm/dumbvm.c 	KASSERT((as->as_pbase2 & PAGE_FRAME) == as->as_pbase2);
as_pbase2         177 kern/arch/mips/vm/dumbvm.c 		paddr = (faultaddress - vbase2) + as->as_pbase2;
as_pbase2         222 kern/arch/mips/vm/dumbvm.c 	as->as_pbase2 = 0;
as_pbase2         315 kern/arch/mips/vm/dumbvm.c 	KASSERT(as->as_pbase2 == 0);
as_pbase2         323 kern/arch/mips/vm/dumbvm.c 	as->as_pbase2 = getppages(as->as_npages2);
as_pbase2         324 kern/arch/mips/vm/dumbvm.c 	if (as->as_pbase2 == 0) {
as_pbase2         334 kern/arch/mips/vm/dumbvm.c 	as_zero_region(as->as_pbase2, as->as_npages2);
as_pbase2         378 kern/arch/mips/vm/dumbvm.c 	KASSERT(new->as_pbase2 != 0);
as_pbase2         385 kern/arch/mips/vm/dumbvm.c 	memmove((void *)PADDR_TO_KVADDR(new->as_pbase2),
as_pbase2         386 kern/arch/mips/vm/dumbvm.c 		(const void *)PADDR_TO_KVADDR(old->as_pbase2),
as_pbase2          55 kern/include/addrspace.h   paddr_t as_pbase2;