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

/seL4-test-master/kernel/src/drivers/timer/
H A Dglobal_timer.c17 globalTimer->countLower = 0;
/seL4-test-master/kernel/include/drivers/timer/
H A Darm_global.h23 uint32_t countLower; member in struct:timer
50 lower = globalTimer->countLower;
56 lower = globalTimer->countLower;

Completed in 86 milliseconds