#ifndef _NTDBG_H NTSYSAPI VOID NTAPI DbgBreakPointWithStatus( _In_ ULONG Status ); #endif View code on GitHub
This function is documented in Windows Driver Kit.