Searched refs:ticks64 (Results 1 - 4 of 4) sorted by relevance
/seL4-refos-master/libs/libplatsupport/src/plat/fvp/ |
H A D | sp804.c | 85 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 D | sp804.c | 85 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 D | dmt.c | 93 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 D | dmt.c | 93 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