Searched refs:initial_high (Results 1 - 4 of 4) sorted by last modified time

/seL4-refos-master/libs/libplatsupport/src/plat/odroidc2/
H A Dmeson_timer.c37 uint64_t initial_high = timer->regs->timer_e_hi; local
40 if (high != initial_high) {
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/odroidc2/
H A Dmeson_timer.c37 uint64_t initial_high = timer->regs->timer_e_hi; local
40 if (high != initial_high) {
/seL4-refos-master/libs/libplatsupport/src/plat/bcm2837/
H A Dsystem_timer.c42 uint64_t initial_high = timer->regs->counter_high; local
45 if (high != initial_high) {
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/bcm2837/
H A Dsystem_timer.c42 uint64_t initial_high = timer->regs->counter_high; local
45 if (high != initial_high) {

Completed in 76 milliseconds