Searched defs:timer_t (Results 1 - 9 of 9) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/machine/
H A Dpriv_timer.h26 typedef volatile struct timer timer_t; typedef in typeref:struct:timer
/seL4-l4v-10.1.1/seL4/include/plat/imx31/plat/machine/
H A Dtimer.h26 typedef volatile struct timer timer_t; typedef in typeref:struct:timer
/seL4-l4v-10.1.1/seL4/include/plat/allwinnerA20/plat/machine/
H A Dtimer.h27 typedef volatile struct timer timer_t; typedef in typeref:struct:timer
/seL4-l4v-10.1.1/seL4/include/plat/am335x/plat/machine/
H A Dtimer.h43 typedef volatile struct timer timer_t; typedef in typeref:struct:timer
/seL4-l4v-10.1.1/seL4/include/plat/omap3/plat/machine/
H A Dtimer.h44 typedef volatile struct timer timer_t; typedef in typeref:struct:timer
/seL4-l4v-10.1.1/seL4/src/plat/apq8064/machine/
H A Dtimer.c24 typedef volatile struct timer timer_t; typedef in typeref:struct:timer
/seL4-l4v-10.1.1/seL4/include/plat/exynos_common/plat/machine/
H A Dmct.h117 typedef volatile struct mct_map timer_t; typedef in typeref:struct:mct_map
/seL4-l4v-10.1.1/l4v/camkes/glue-proofs/
H A DDataIn.c399 timer_t typedef
/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/
H A Djiraver443.c442 typedef void *timer_t; typedef

Completed in 182 milliseconds