1#include "tests.h"
2#include <assert.h>
3#include <stdio.h>
4#include <unistd.h>
5#include <asm/unistd.h>
6
7int
8main(void)
9{
10	assert(syscall(__NR_times, 0x42) == -1);
11	printf("times(0x42) = -1 EFAULT (%m)\n");
12	puts("+++ exited with 0 +++");
13
14	return 0;
15}
16