delete_tombstones 65 source4/wrepl_server/wrepl_scavenging.c bool delete_tombstones; delete_tombstones 86 source4/wrepl_server/wrepl_scavenging.c delete_tombstones = timeval_expired(&tombstone_extra_time); delete_tombstones 166 source4/wrepl_server/wrepl_scavenging.c if (!delete_tombstones) break; delete_tombstones 219 source4/wrepl_server/wrepl_scavenging.c bool delete_tombstones; delete_tombstones 239 source4/wrepl_server/wrepl_scavenging.c delete_tombstones = timeval_expired(&tombstone_extra_time); delete_tombstones 272 source4/wrepl_server/wrepl_scavenging.c if (!delete_tombstones) break;