time.c File Reference

#include <stddef.h>
#include <errno.h>
#include <signal.h>
#include <time.h>
#include <sys/time.h>
#include <kern_util.h>
#include <os.h>
#include "internal.h"

Go to the source code of this file.

Functions
int	set_interval (void)
int	timer_one_shot (int ticks)
long long	disable_timer (void)
long long	os_nsecs (void)
void	idle_sleep (unsigned long long nsecs)

Variables
unsigned long long	last_tick
unsigned long long	skew

Function Documentation

long long disable_timer

(

void

)

Definition at line 58 of file time.c.

void idle_sleep

(

unsigned long long

nsecs

)

Definition at line 167 of file time.c.

long long os_nsecs

(

void

)

Definition at line 74 of file time.c.

int set_interval

(

void

)

Definition at line 15 of file time.c.

int timer_one_shot

(

int

ticks

)

Definition at line 27 of file time.c.

Variable Documentation

unsigned long long last_tick

Definition at line 99 of file time.c.

unsigned long long skew

Definition at line 100 of file time.c.