e32dacb9f48
1 2 3 4 5 6 7 8 9 10 11 12
/* * 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