Definition at line 1489 of file traphdlr.c.
Referenced by KiSystemCall().
{ #if DBG && !defined(_WINKD_) if (SystemCallNumber >= 0x1000 && KeWin32PostServiceHook) return KeWin32PostServiceHook(SystemCallNumber, Result); #endif return Result; }