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

/seL4-refos-master/libs/libplatsupport/plat_include/fvp/platsupport/plat/
H A Dsp804.h77 int sp804_set_timeout_ticks(sp804_t *timer, uint32_t ticks, bool periodic, bool irqs);
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/fvp/platsupport/plat/
H A Dsp804.h77 int sp804_set_timeout_ticks(sp804_t *timer, uint32_t ticks, bool periodic, bool irqs);
/seL4-refos-master/libs/libplatsupport/src/plat/fvp/
H A Dsp804.c89 return sp804_set_timeout_ticks(sp804, ticks64, periodic, irqs);
92 int sp804_set_timeout_ticks(sp804_t *sp804, uint32_t ticks, bool periodic, bool irqs) function
H A Dltimer.c142 error = sp804_set_timeout_ticks(&fvp_ltimer->sp804_timestamp, UINT32_MAX, true, true);
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/fvp/
H A Dsp804.c89 return sp804_set_timeout_ticks(sp804, ticks64, periodic, irqs);
92 int sp804_set_timeout_ticks(sp804_t *sp804, uint32_t ticks, bool periodic, bool irqs) function
H A Dltimer.c142 error = sp804_set_timeout_ticks(&fvp_ltimer->sp804_timestamp, UINT32_MAX, true, true);

Completed in 24 milliseconds