Definition at line 38 of file armddk.h.
Referenced by BaseInitializeContext(), BasepCheckWebBladeHashes(), BasepIsImageVersionOk(), BasepIsProcessAllowed(), CmpInitializeMachineDependentConfiguration(), DisplayBootBitmap(), EngGetTickCount(), ExIsProcessorFeaturePresent(), ExpInitializeExecutive(), ExpLoadBootSymbols(), ExpSetTimeZoneInformation(), ExRefreshTimeZoneInformation(), FileTimeToLocalFileTime(), find_actctx_dll(), GetLargePageMinimum(), GetLocalTime(), GetSystemTime(), GetSystemTimeAsFileTime(), GetTickCount(), GetTickCount64(), IsProcessorFeaturePresent(), KdDisableDebuggerWithLock(), KdInitSystem(), KdpReceivePacketLeader(), KeQueryInterruptTime(), KeQuerySystemTime(), KeSetSystemTime(), KeUpdateSystemTime(), KiFastCallEntryHandler(), KiInitializeCpu(), KiInitializeKernel(), KiInitializeKernelMachineDependent(), KiInitMachineDependent(), LdrpInitializeProcess(), LdrpInitSecurityCookie(), LdrShutdownProcess(), LdrShutdownThread(), LocalFileTimeToFileTime(), lookup_winsxs(), MmArmInitSystem(), MmLoadSystemImage(), Phase1InitializationDiscard(), PspLookupKernelUserEntryPoints(), PspUserThreadStartup(), RtlEncodeSystemPointer(), RtlGetNtProductType(), RtlGetVersion(), SetLocalTime(), SmpCreateVolumeDescriptors(), SmpParseCommandLine(), SmpValidatePagingFileSizes(), and WTSGetActiveConsoleSessionId().