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