Print the name of the device as well as the pointers
authorRonald G. Minnich <rminnich@google.com>
Fri, 31 Jan 2014 16:17:17 +0000 (08:17 -0800)
committerRonald G. Minnich <rminnich@google.com>
Fri, 31 Jan 2014 16:17:17 +0000 (08:17 -0800)
commitd9ebf93e719d7a06acad0466a9f2d75acd2e0353
tree20de8b877211276621670e12c4fd9c362a093646
parent4d7f68feb808fb4f985c613025d25d0b7ad6c8ca
Print the name of the device as well as the pointers

Signed-off-by: Ronald G. Minnich <rminnich@google.com>
kern/src/ns/devtab.c