2005-09-04 00:57:42 +02:00
|
|
|
/*
|
|
|
|
* 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;
|
2006-01-19 02:42:42 +01:00
|
|
|
syscall_record[index].start = os_nsecs();
|
2005-09-04 00:57:42 +02:00
|
|
|
return(index);
|
|
|
|
}
|
|
|
|
|
|
|
|
void record_syscall_end(int index, long result)
|
|
|
|
{
|
|
|
|
syscall_record[index].result = result;
|
2006-01-19 02:42:42 +01:00
|
|
|
syscall_record[index].end = os_nsecs();
|
2005-09-04 00:57:42 +02:00
|
|
|
}
|