Searched refs:gpt_cnt_ciel (Results 1 - 1 of 1) sorted by relevance
/seL4-test-master/kernel/src/arch/arm/machine/ | ||
H A D | gic_v3.c | 86 uint32_t gpt_cnt_ciel; local 94 gpt_cnt_ciel = gpt_cnt_tval + (deadline_ms * TICKS_PER_MS); 100 if (gpt_cnt_tval >= gpt_cnt_ciel) { |
Completed in 72 milliseconds