2 * Copyright (C) 2002 Jeff Dike (jdike@karaya.com)
3 * Licensed under the GPL
14 unsigned long long start;
15 unsigned long long end;
16 } syscall_record[1024];
18 int record_syscall_start(int syscall)
22 max = sizeof(syscall_record)/sizeof(syscall_record[0]);
23 index = next_syscall_index(max);
25 syscall_record[index].syscall = syscall;
26 syscall_record[index].pid = current_pid();
27 syscall_record[index].result = 0xdeadbeef;
28 syscall_record[index].start = os_usecs();
32 void record_syscall_end(int index, long result)
34 syscall_record[index].result = result;
35 syscall_record[index].end = os_usecs();