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 9extern int record_syscall_start(int syscall); 10extern void record_syscall_end(int index, long result); 11 12#endif 13