Fixes memory checking bug on syscall structs
authorBarret Rhoden <brho@cs.berkeley.edu>
Tue, 2 Jul 2013 20:18:21 +0000 (13:18 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Thu, 11 Jul 2013 02:30:02 +0000 (19:30 -0700)
commit2c9582a8a3d0b294536ede6dabc3066384c85644
treeb6195b7b3ec6378c62c71abd6295c0a46a88ca10
parent4110bba1ff85619cbc32949fe654bd39b42a8a7b
Fixes memory checking bug on syscall structs

The long term fix is to have the kernel handle page faults on user addresses,
instead of looking at the page tables (which is insufficient unless we pin, and
is slow regardless).
kern/src/syscall.c