as_vbase2         156 kern/arch/mips/vm/dumbvm.c 	KASSERT(as->as_vbase2 != 0);
as_vbase2         162 kern/arch/mips/vm/dumbvm.c 	KASSERT((as->as_vbase2 & PAGE_FRAME) == as->as_vbase2);
as_vbase2         168 kern/arch/mips/vm/dumbvm.c 	vbase2 = as->as_vbase2;
as_vbase2         221 kern/arch/mips/vm/dumbvm.c 	as->as_vbase2 = 0;
as_vbase2         291 kern/arch/mips/vm/dumbvm.c 	if (as->as_vbase2 == 0) {
as_vbase2         292 kern/arch/mips/vm/dumbvm.c 		as->as_vbase2 = vaddr;
as_vbase2         368 kern/arch/mips/vm/dumbvm.c 	new->as_vbase2 = old->as_vbase2;
as_vbase2          54 kern/include/addrspace.h   vaddr_t as_vbase2;