time.c File Reference

#include <ntoskrnl.h>
#include <debug.h>

Go to the source code of this file.

Defines
#define	NDEBUG
Functions
VOID FORCEINLINE	KiWriteSystemTime (volatile KSYSTEM_TIME *SystemTime, ULARGE_INTEGER NewTime)
VOID FORCEINLINE	KiCheckForTimerExpiration (PKPRCB Prcb, PKTRAP_FRAME TrapFrame, ULARGE_INTEGER InterruptTime)
VOID FASTCALL	KeUpdateSystemTime (IN PKTRAP_FRAME TrapFrame, IN ULONG Increment, IN KIRQL Irql)
VOID NTAPI	KeUpdateRunTime (IN PKTRAP_FRAME TrapFrame, IN KIRQL Irql)
Variables
LONG	KiTickOffset
ULONG	KeTimeAdjustment
BOOLEAN	KiTimeAdjustmentEnabled = FALSE