Add the helper strtoul_from_ubuf()
authorBarret Rhoden <brho@cs.berkeley.edu>
Wed, 13 Apr 2016 15:46:49 +0000 (11:46 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Fri, 15 Apr 2016 14:29:13 +0000 (10:29 -0400)
commit839a2b6811ab4d83b6c13c2014aadb8d07cbb78c
treee9479ecdb4c8674c2ca66a547d37a1eb18239f80
parent36ae6dffbeb0e8c7a98843012a4cff22546bdfb4
Add the helper strtoul_from_ubuf()

This comes up a lot: we want to read a number from a user buffer.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/drivers/dev/alarm.c
kern/include/ns.h
kern/src/ns/util.c