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