Searched defs:counter_high (Results 1 - 2 of 2) sorted by last modified time

/seL4-refos-master/libs/libplatsupport/plat_include/bcm2837/platsupport/plat/
H A Dsystem_timer.h54 uint32_t counter_high; member in struct:__anon512
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/bcm2837/platsupport/plat/
H A Dsystem_timer.h54 uint32_t counter_high; member in struct:__anon943

Completed in 77 milliseconds