vptr               42 kern/vm/kmalloc.c fill_deadbeef(void *vptr, size_t len)
vptr               44 kern/vm/kmalloc.c 	uint32_t *ptr = vptr;