@ fastcall KeTryToAcquireSpinLockAtDpcLevel(ptr)
@ stdcall KeUnstackDetachProcess(ptr)
@ stdcall KeUpdateRunTime(ptr long)
-#ifdef _M_IX86
-@ stdcall KeUpdateSystemTime()
-#else
-@ stdcall KeUpdateSystemTime(ptr long long)
-#endif
+@ fastcall KeUpdateSystemTime(ptr long long)
@ stdcall KeUserModeCallback(long ptr long ptr ptr)
@ stdcall KeWaitForMultipleObjects(long ptr long long long long ptr ptr)
@ stdcall KeWaitForMutexObject(ptr long long long ptr) KeWaitForSingleObject
@ fastcall KefReleaseSpinLockFromDpcLevel(ptr)
#ifdef _M_IX86
@ stdcall Kei386EoiHelper()
+@ fastcall KiEoiHelper(ptr) /* FIXME: Evaluate decision */
#endif
@ fastcall KiAcquireSpinLock(ptr)
@ extern KiBugCheckData
;WmiStopTrace
;WmiTraceFastEvent
@ cdecl WmiTraceMessage()
-@ stdcall WmiTraceMessageVa(ptr long ptr long long)
+@ stdcall WmiTraceMessageVa(double long ptr long long)
;WmiUpdateTrace
;XIPDispatch
@ stdcall ZwAccessCheckAndAuditAlarm(ptr ptr ptr ptr ptr long ptr long ptr ptr ptr)