ptraddr           516 kern/vm/kmalloc.c 	vaddr_t ptraddr;	// same as ptr
ptraddr           523 kern/vm/kmalloc.c 	ptraddr = (vaddr_t)ptr;
ptraddr           537 kern/vm/kmalloc.c 		if (ptraddr >= prpage && ptraddr < prpage + PAGE_SIZE) {
ptraddr           548 kern/vm/kmalloc.c 	offset = ptraddr - prpage;