DB_VM             121 kern/arch/mips/vm/dumbvm.c 	DEBUG(DB_VM, "dumbvm: fault: 0x%x\n", faultaddress);
DB_VM             199 kern/arch/mips/vm/dumbvm.c 		DEBUG(DB_VM, "dumbvm: 0x%x -> 0x%x\n", faultaddress, paddr);