Searched refs:dumped (Results 1 – 1 of 1) sorted by relevance
1013 int dumped = 0; in dumpstate() local1018 dumped = 1; in dumpstate()1030 if (!dumped) { in dumpstate()