| Jeff Dike | e32dacb | 2005-09-03 15:57:42 -0700 | [diff] [blame] | 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 | ||||