1 #ifdef HAVE_CONFIG_H 2 # include "config.h" 3 #endif 4 5 #include <stdio.h> 6 #include <unistd.h> 7 #include <sys/syscall.h> 8 9 int 10 main (void) 11 { 12 if (syscall(__NR_times, 0x42) != -1) 13 return 77; 14 puts("times(0x42) = -1 EFAULT (Bad address)"); 15 puts("+++ exited with 0 +++"); 16 17 return 0; 18 } 19