/* * Copyright (C) 2002 Jeff Dike (jdike@karaya.com) * Licensed under the GPL */ #ifndef __SYSCALL_USER_H #define __SYSCALL_USER_H extern int record_syscall_start(int syscall); extern void record_syscall_end(int index, long result); #endif
