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