9ns: don't pass user pointers for 'spec'
authorBarret Rhoden <brho@cs.berkeley.edu>
Thu, 2 May 2019 13:50:55 +0000 (09:50 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Thu, 2 May 2019 13:50:55 +0000 (09:50 -0400)
commitd8ea787e72600cb97b19e2cd96b63745b2a4b0fb
treec6a84467ffc2c539de318452de23ea773f0f7875
parentbb717b8536ae18163082920b13d9b1da0a03a9d2
9ns: don't pass user pointers for 'spec'

Spec is often passed directly to error(), and thus snprintf.  Right now,
we don't actually pass a user pointer spec.  This comment tracks the one
location we could in the future.

Note that when you bind '#dev.spec', that string is copied in to the
kernel and checked.  That's in namec().

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/src/syscall.c