SET_COUNT
if (SET_COUNT(pci_vtscsi_backend_set) == 0) {
if (SET_COUNT(pci_vtscsi_backend_set) == 0) {
printf("Set count: %d\n", (int)SET_COUNT(foo));
tsc_set_size = SET_COUNT(tsc_calibration_set) *
qsort(tsccpp, SET_COUNT(tsc_calibration_set),
for (uint_t i = 0; i < SET_COUNT(tsc_calibration_set); i++) {
const uint32_t total_size = SET_COUNT(vmm_data_version_entries) *