VDB_INIT          800 dev/vnd.c      		DNPRINTF(VDB_INIT, "vndioctl: SET vp %p size %llx\n",
VDB_INIT          834 dev/vnd.c      		DNPRINTF(VDB_INIT, "vndioctl: CLRed\n");