#ifdef HAVE_CONFIG_H # include "config.h" #endif #include #include #include int main (void) { if (syscall(__NR_times, 0x42) != -1) return 77; puts("times(0x42) = -1 EFAULT (Bad address)"); puts("+++ exited with 0 +++"); return 0; }