Searched refs:tombstone_data (Results 1 – 1 of 1) sorted by relevance
93 static tombstone_data_t tombstone_data[NUM_TOMBSTONES]; variable1015 if (tombstone_data[i].fd != -1) { in dumpstate()1016 const char *name = tombstone_data[i].name; in dumpstate()1017 int fd = tombstone_data[i].fd; in dumpstate()1027 tombstone_data[i].fd = -1; in dumpstate()1710 get_tombstone_fds(tombstone_data); in main()