Searched refs:epit_init (Results 1 - 5 of 5) sorted by relevance

/seL4-camkes-master/projects/camkes/apps/epit/components/Driver/src/
H A Ddriver.c35 void epit_init() function
82 epit_init();
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/imx31/platsupport/plat/
H A Dtimer.h56 return epit_init(&timers->timestamp, config);
128 return epit_init(&timers->timeout, config);
/seL4-camkes-master/projects/util_libs/libplatsupport/mach_include/imx/platsupport/mach/
H A Depit.h65 int epit_init(epit_t *epit, epit_config_t config);
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/imx6/platsupport/plat/
H A Dtimer.h88 return epit_init(&timers->timeout, config);
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/imx/epit/
H A Depit.c219 int epit_init(epit_t *epit, epit_config_t config) function

Completed in 108 milliseconds