Searched refs:sp804_ticks_to_ns (Results 1 - 4 of 4) sorted by relevance

/seL4-refos-master/libs/libplatsupport/plat_include/fvp/platsupport/plat/
H A Dsp804.h74 uint64_t sp804_ticks_to_ns(uint64_t ticks);
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/fvp/platsupport/plat/
H A Dsp804.h74 uint64_t sp804_ticks_to_ns(uint64_t ticks);
/seL4-refos-master/libs/libplatsupport/src/plat/fvp/
H A Dsp804.c69 uint64_t sp804_ticks_to_ns(uint64_t ticks) function
161 return sp804_ticks_to_ns(ticks);
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/fvp/
H A Dsp804.c69 uint64_t sp804_ticks_to_ns(uint64_t ticks) function
161 return sp804_ticks_to_ns(ticks);

Completed in 23 milliseconds