boo pointers

some pointer issues in syscall.c.  can't dereference void pointers :( even if you're gonna cast them right away.

oh hey maybe cast them first, then dereference .... -_-