PC_VOLID
(void) fprintf(fout, "Volume ID: 0x%x\n", PC_VOLID(h));
ADD_UINT32(h, "volume_id", PC_VOLID(h));
if (PC_VOLID(a) != 0) {
(void) snprintf(s, sizeof (s), "%08x", PC_VOLID(a));