Searched refs:comparatorLower (Results 1 - 1 of 1) sorted by relevance
| /seL4-mcs-10.1.1/include/arch/arm/arch/machine/ | ||
| H A D | global_timer.h | 29 uint32_t comparatorLower; member in struct:timer 80 globalTimer->comparatorLower = (uint32_t) deadline; |
Completed in 21 milliseconds