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

/seL4-refos-master/libs/libplatsupport/src/plat/fvp/
H A Dsp804.c85 uint64_t ticks64 = ns * TICKS_PER_MS / NS_IN_MS; local
86 if (ticks64 > UINT32_MAX) {
89 return sp804_set_timeout_ticks(sp804, ticks64, periodic, irqs);
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/fvp/
H A Dsp804.c85 uint64_t ticks64 = ns * TICKS_PER_MS / NS_IN_MS; local
86 if (ticks64 > UINT32_MAX) {
89 return sp804_set_timeout_ticks(sp804, ticks64, periodic, irqs);
/seL4-refos-master/libs/libplatsupport/src/plat/hikey/
H A Ddmt.c93 uint64_t ticks64 = ns * TICKS_PER_MS / NS_IN_MS; local
94 if (ticks64 > UINT32_MAX) {
97 return dmt_set_timeout_ticks(dmt, ticks64, periodic, irqs);
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/hikey/
H A Ddmt.c93 uint64_t ticks64 = ns * TICKS_PER_MS / NS_IN_MS; local
94 if (ticks64 > UINT32_MAX) {
97 return dmt_set_timeout_ticks(dmt, ticks64, periodic, irqs);

Completed in 26 milliseconds