GPTC added the timer status

drivers/clocksource/intel-gptc-timer.c

@@ -887,11 +887,12 @@ static int gptc_seq_show(struct seq_file *s, void *v)
 		ioread32(gptc->base + GPTC_IRNCR));
 
 	list_for_each_entry(timer, &gptc->parent, child) {
-		seq_printf(s, "timer%d base %p freq %d tid %d cpuid %d irq %d clk %s\n",
+		seq_printf(s, "\ttimer%d base %p freq %d tid %d cpuid %d irq %d clk %s %s\n",
 			i, timer->base, timer->frequency, timer->tid,
 			timer->cpuid, timer->irq,
-			timer_type_to_str(timer->type));
-		seq_printf(s, "CON %08x RUN %08x RLD %08x CNT %08x\n",
+			timer_type_to_str(timer->type),
+			timer->used ? "used" : "unused");
+		seq_printf(s, "\tCON %08x RUN %08x RLD %08x CNT %08x\n",
 			gptc_readl(timer, GPTC_CON(i)),
 			gptc_readl(timer, GPTC_RUN(i)),
 			gptc_readl(timer, GPTC_RLD(i)),