Lines Matching refs:dev_rec_count
884 UINT32 dev_rec_count; /* Counter used for device record timestamp */