+ // Clock testing
+ uint32_t test_tpm0 = TPM1->SC;
+ uint32_t test_pit0 = PIT->CHANNEL[1].CVAL;
+ for (int i = 0; i < 1000; i++)
+ asm("nop");
+ uint32_t test_tpm1 = TPM1->SC;
+ uint32_t test_pit1 = PIT->CHANNEL[1].CVAL;
+ uint32_t test_tpm = test_tpm0 - test_tpm0;
+ uint32_t test_pit = test_pit1 - test_pit0;
+ sirq_printf("pit/tpm: tpm=%04hx/%04hx=%d pit=%08x/%08x=%d\r\n",
+ test_tpm0, test_tpm1, test_tpm,
+ test_pit0, test_pit1, test_pit);
+