internal/syscall.h: use a macro for the syscall args casts