Searched refs:counter_start (Results 1 - 6 of 6) sorted by relevance

/seL4-refos-master/libs/libplatsupport/plat_include/bcm2837/platsupport/plat/
H A Dspt.h40 uint64_t counter_start; member in struct:__anon510
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/bcm2837/platsupport/plat/
H A Dspt.h40 uint64_t counter_start; member in struct:__anon941
/seL4-refos-master/projects/util_libs/libplatsupport/mach_include/nvidia/platsupport/mach/
H A Dtimer.h49 uint64_t counter_start; member in struct:nv_tmr
/seL4-refos-master/libs/libplatsupport/mach_include/nvidia/platsupport/mach/
H A Dtimer.h49 uint64_t counter_start; member in struct:nv_tmr
/seL4-refos-master/libs/libplatsupport/src/plat/bcm2837/
H A Dspt.c131 spt->counter_start = ns;
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/bcm2837/
H A Dspt.c131 spt->counter_start = ns;

Completed in 35 milliseconds