1 /*
2  * Copyright (C) 2002 Jeff Dike (jdike@karaya.com)
3  * Licensed under the GPL
4  */
5 
6 #ifndef __SYSCALL_USER_H
7 #define __SYSCALL_USER_H
8 
9 extern int record_syscall_start(int syscall);
10 extern void record_syscall_end(int index, long result);
11 
12 #endif
13