#if 0
/*
- FIXME: DbgBreakPoint must not have a stack frame, but GCC doesn't support
- __declspec(naked) yet
-*/
+ * FIXME: DbgBreakPoint must not have a stack frame, but GCC doesn't support
+ * __declspec(naked) yet
+ *
+ * @implemented
+ */
__declspec(naked) VOID STDCALL DbgBreakPoint(VOID)
{ __asm__(ASM_BREAKPOINT_STR); }
+/*
+ * @implemented
+ */
VOID STDCALL DbgUserBreakPoint(VOID)
{ __asm__(ASM_BREAKPOINT_STR); }
#else