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