| /* | |
| * Copyright (C) 2002 Jeff Dike (jdike@karaya.com) | |
| * Licensed under the GPL | |
| */ | |
| #include "kern_util.h" | |
| #include "syscall.h" | |
| #include "os.h" | |
| struct { | |
| int syscall; | |
| int pid; | |
| long result; | |
| unsigned long long start; | |
| unsigned long long end; | |
| } syscall_record[1024]; | |
| int record_syscall_start(int syscall) | |
| { | |
| int max, index; | |
| max = sizeof(syscall_record)/sizeof(syscall_record[0]); | |
| index = next_syscall_index(max); | |
| syscall_record[index].syscall = syscall; | |
| syscall_record[index].pid = current_pid(); | |
| syscall_record[index].result = 0xdeadbeef; | |
| syscall_record[index].start = os_nsecs(); | |
| return(index); | |
| } | |
| void record_syscall_end(int index, long result) | |
| { | |
| syscall_record[index].result = result; | |
| syscall_record[index].end = os_nsecs(); | |
| } |