Every pointer in <syscalls.h> had better be a user
pointer. Also add some others that a quick sanity check
picked up on.