*/
#include <sys/syscall.h>
-#include <stdarg.h>
/* psm: including sys/prctl.h would depend on kernel headers */
#ifdef __NR_prctl
-extern int prctl (int, long, long, long, long);
-_syscall5(int, prctl, int, option, long, arg2, long, arg3, long, arg4, long, arg5);
+int prctl (int, long, long, long, long);
+_syscall5(int, prctl, int, option, long, _prctl_a2, long, _prctl_a3,
+ long, _prctl_a4, long, _prctl_a5)
#endif