Searched refs:gpt_cnt_tval (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-10.1.1/seL4/src/arch/arm/machine/
H A Dgeneric_timer.c20 uint32_t gpt_cnt_tval = 0; local
21 SYSTEM_READ_WORD(CNTFRQ, gpt_cnt_tval);
22 if (gpt_cnt_tval != 0 && gpt_cnt_tval != TIMER_CLOCK_HZ) {
23 printf("Warning: gpt_cnt_tval %u, expected %u\n", gpt_cnt_tval,

Completed in 100 milliseconds