Searched refs:spt_config_t (Results 1 - 3 of 3) sorted by relevance

/seL4-test-master/projects/util_libs/libplatsupport/plat_include/bcm2837/platsupport/plat/
H A Dspt.h46 } spt_config_t; typedef in typeref:struct:__anon603
56 int spt_init(spt_t *spt, spt_config_t config);
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/bcm2837/
H A Dspt.c188 int spt_init(spt_t *spt, spt_config_t config)
H A Dltimer.c243 spt_config_t spt_config = {

Completed in 84 milliseconds