Use proc_decref() in #proc
authorBarret Rhoden <brho@cs.berkeley.edu>
Fri, 30 Sep 2016 18:04:27 +0000 (14:04 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Thu, 6 Oct 2016 19:41:48 +0000 (15:41 -0400)
commitac1a0baab77a2f9bf3f7d2829313d7081d332820
tree4267ed15f89d7576eecd4eb70e552f73a36307d5
parente3de9e5d69c6248a11ca178f9753c438fd19f55d
Use proc_decref() in #proc

Use the helper instead of accessing the kref directly.  That helps with
debugging.

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