as_vbase1         153 kern/arch/mips/vm/dumbvm.c 	KASSERT(as->as_vbase1 != 0);
as_vbase1         160 kern/arch/mips/vm/dumbvm.c 	KASSERT((as->as_vbase1 & PAGE_FRAME) == as->as_vbase1);
as_vbase1         166 kern/arch/mips/vm/dumbvm.c 	vbase1 = as->as_vbase1;
as_vbase1         218 kern/arch/mips/vm/dumbvm.c 	as->as_vbase1 = 0;
as_vbase1         285 kern/arch/mips/vm/dumbvm.c 	if (as->as_vbase1 == 0) {
as_vbase1         286 kern/arch/mips/vm/dumbvm.c 		as->as_vbase1 = vaddr;
as_vbase1         366 kern/arch/mips/vm/dumbvm.c 	new->as_vbase1 = old->as_vbase1;
as_vbase1          51 kern/include/addrspace.h   vaddr_t as_vbase1;