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

/seL4-refos-master/libs/libplatsupport/plat_include/bcm2837/platsupport/plat/
H A Dspt.h46 } spt_config_t; typedef in typeref:struct:__anon511
56 int spt_init(spt_t *spt, spt_config_t config);
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/bcm2837/platsupport/plat/
H A Dspt.h46 } spt_config_t; typedef in typeref:struct:__anon942
56 int spt_init(spt_t *spt, spt_config_t config);
/seL4-refos-master/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 = {
/seL4-refos-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