time.c File Reference

#include <stdbool.h>
#include <stdint.h>
#include <sys/kassert.h>
#include <sys/kdebug.h>
#include <sys/ktime.h>
#include <machine/amd64.h>
#include <machine/amd64op.h>

Include dependency graph for time.c:

Go to the source code of this file.

Functions
uint64_t	Time_GetTSC ()
static void	Debug_ReadTSC (int argc, const char *argv[])
	REGISTER_DBGCMD (readtsc, "Print current timestamp", Debug_ReadTSC)

Function Documentation

Debug_ReadTSC()

static void Debug_ReadTSC ( int  argc, const char *  argv[]  )

static

Definition at line 19 of file time.c.

{
    kprintf("RDTSC: %lld\n", Time_GetTSC());
}

Here is the call graph for this function:

REGISTER_DBGCMD()

REGISTER_DBGCMD	(	readtsc	,
		"Print current timestamp"	,
		Debug_ReadTSC
	)

Time_GetTSC()

uint64_t Time_GetTSC

(

)

Definition at line 13 of file time.c.

{
    return rdtsc();
}

Here is the call graph for this function:

Here is the caller graph for this function: