From 4f670845ff9ab6c48bcb5f7bf4d4ef6dc3c3064b Mon Sep 17 00:00:00 2001 From: manuel Date: Tue, 27 Mar 2012 11:51:08 +0200 Subject: reorganize file structure to match the upstream requirements --- pintos-progos/devices/timer.h | 29 ----------------------------- 1 file changed, 29 deletions(-) delete mode 100644 pintos-progos/devices/timer.h (limited to 'pintos-progos/devices/timer.h') diff --git a/pintos-progos/devices/timer.h b/pintos-progos/devices/timer.h deleted file mode 100644 index cd3d6bb..0000000 --- a/pintos-progos/devices/timer.h +++ /dev/null @@ -1,29 +0,0 @@ -#ifndef DEVICES_TIMER_H -#define DEVICES_TIMER_H - -#include -#include - -/* Number of timer interrupts per second. */ -#define TIMER_FREQ 100 - -void timer_init (void); -void timer_calibrate (void); - -int64_t timer_ticks (void); -int64_t timer_elapsed (int64_t); - -/* Sleep and yield the CPU to other threads. */ -void timer_sleep (int64_t ticks); -void timer_msleep (int64_t milliseconds); -void timer_usleep (int64_t microseconds); -void timer_nsleep (int64_t nanoseconds); - -/* Busy waits. */ -void timer_mdelay (int64_t milliseconds); -void timer_udelay (int64_t microseconds); -void timer_ndelay (int64_t nanoseconds); - -void timer_print_stats (void); - -#endif /* devices/timer.h */ -- cgit v1.2.3