- if (have_super) {
- printf(" UUID : ");
- if (super.minor_version >= 90)
- printf("%08x:%08x:%08x:%08x", super.set_uuid0, super.set_uuid1,
- super.set_uuid2, super.set_uuid3);
- else
- printf("%08x", super.set_uuid0);
- printf("\n Events : %d.%d\n\n", super.events_hi, super.events_lo);
- }