dbgflush 478 source3/include/proto.h void dbgflush( void ); dbgflush 330 source3/lib/fault.c dbgflush();