Searched refs:kdp_reentry_deadline (Results 1 – 2 of 2) sorted by relevance
246 … if WriteInt32ToMemoryAddress(milliseconds_to_sleep, addressof(kern.globals.kdp_reentry_deadline)):
330 static volatile unsigned kdp_reentry_deadline; variable1471 if (kdp_reentry_deadline) { in kdp_debugger_loop()1472 kdp_schedule_debugger_reentry(kdp_reentry_deadline); in kdp_debugger_loop()1473 printf("Debugger re-entry scheduled in %d milliseconds\n", kdp_reentry_deadline); in kdp_debugger_loop()1474 kdp_reentry_deadline = 0; in kdp_debugger_loop()