/* | |
* 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(); | |
} |