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

/seL4-l4v-master/seL4/src/drivers/timer/
H A Dglobal_timer.c9 timer_t *const globalTimer = (timer_t *) TIMER_PPTR; variable
15 globalTimer->control = 0;
17 globalTimer->countLower = 0;
18 globalTimer->countUpper = 0;
21 globalTimer->control = BIT(ENABLE) | BIT(IRQ_ENABLE);
/seL4-l4v-master/seL4/include/drivers/timer/
H A Darm_global.h32 extern timer_t *const globalTimer;
49 upper = globalTimer->countUpper;
50 lower = globalTimer->countLower;
51 upper2 = globalTimer->countUpper;
56 lower = globalTimer->countLower;
66 globalTimer->control &= ~(BIT(COMP_ENABLE));
68 globalTimer->comparatorLower = (uint32_t) deadline;
70 globalTimer->comparatorUpper = (uint32_t)(deadline >> 32llu);
72 globalTimer->control |= BIT(COMP_ENABLE);
74 assert(getCurrentTime() < deadline || globalTimer
[all...]

Completed in 40 milliseconds