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

/seL4-refos-master/libs/libplatsupport/src/plat/fvp/
H A Dltimer.c76 sp804_destroy(&fvp_ltimer->sp804_timeout);
77 sp804_destroy(&fvp_ltimer->sp804_timestamp);
H A Dsp804.c164 void sp804_destroy(sp804_t *sp804) function
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/fvp/
H A Dltimer.c76 sp804_destroy(&fvp_ltimer->sp804_timeout);
77 sp804_destroy(&fvp_ltimer->sp804_timestamp);
H A Dsp804.c164 void sp804_destroy(sp804_t *sp804) function
/seL4-refos-master/libs/libplatsupport/plat_include/fvp/platsupport/plat/
H A Dsp804.h84 void sp804_destroy(sp804_t *sp804);
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/fvp/platsupport/plat/
H A Dsp804.h84 void sp804_destroy(sp804_t *sp804);

Completed in 26 milliseconds