FreeBSD/sys/ddb/db_capture.c
/*
 * Terminate DDB output capture--real work is deferred to db_capture_dump,
 * which executes outside of the DDB context.  We don't zero pad here because
 * capture may be started again before the dump takes place.
 */
Terminate DDB output capture--real work is deferred to db_capture_dump,
which executes outside of the DDB context.  We don't zero pad here because
capture may be started again before the dump takes place.
Terminate DDB output capture -- real work is deferred to db_capture_dump which executes outside of the DDB context . We don ' t zero pad here because capture may be started again before the dump takes place .
static void
db_capture_stop(void)
{
	if (db_capture_inprogress == 0) {
		db_printf("Capture not started\n");
		return;
	}
	db_capture_inprogress = 0;
}
static void db_capture_stop ( void ) { if ( db_capture_inprogress == 0 ) { db_printf ( " \n " ) ; return ; } db_capture_inprogress = 0 ; }
Terminate DDB output capture--real work is deferred to db_capture_dump,
 which executes outside of the DDB context.
Terminate DDB output capture -- real work is deferred to db_capture_dump which executes outside of the DDB context .