devproc: check for #mnt instead of #M
authorBarret Rhoden <brho@cs.berkeley.edu>
Wed, 6 Mar 2019 16:43:04 +0000 (11:43 -0500)
committerBarret Rhoden <brho@cs.berkeley.edu>
Wed, 6 Mar 2019 16:43:04 +0000 (11:43 -0500)
commit6e1b0386ffa810c58aaed22ac24a0e187bc9d8dc
tree829dd4fef287317a9e1235401d3c619d67526396
parentd9d5899d33d74df4e3375635d480496d43e758c3
devproc: check for #mnt instead of #M

We missed this when changing the names of all of the devices.  All 9ns
device names are strings, not single characters.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/drivers/dev/proc.c