Searched refs:timer_t (Results 1 - 14 of 14) sorted by relevance

/seL4-mcs-10.1.1/src/arch/arm/machine/
H A Dglobal_timer.c14 timer_t * const globalTimer = (timer_t *) ARM_MP_GLOBAL_TIMER_PPTR;
/seL4-mcs-10.1.1/src/plat/apq8064/machine/
H A Dtimer.c24 typedef volatile struct timer timer_t; typedef in typeref:struct:timer
25 timer_t* dgt_tmr = (timer_t*) DGT_TIMER_PPTR;
/seL4-mcs-10.1.1/include/plat/allwinnerA20/plat/machine/
H A Dtimer.h36 typedef volatile struct timer timer_t; typedef in typeref:struct:timer
37 extern timer_t *timer;
/seL4-mcs-10.1.1/include/plat/am335x/plat/machine/
H A Dtimer.h47 typedef volatile struct timer timer_t; typedef in typeref:struct:timer
48 extern timer_t *timer;
/seL4-mcs-10.1.1/src/plat/allwinnerA20/machine/
H A Dhardware.c30 timer_t *timer = (timer_t *) TIMER0_PPTR + TIMER0_OFFSET;
/seL4-mcs-10.1.1/src/plat/exynos4/machine/
H A Dhardware.c20 timer_t *mct = (timer_t *) EXYNOS_MCT_PPTR;
/seL4-mcs-10.1.1/src/plat/exynos5/machine/
H A Dhardware.c24 timer_t *mct = (timer_t *) EXYNOS_MCT_PPTR;
/seL4-mcs-10.1.1/include/arch/arm/arch/machine/
H A Dglobal_timer.h33 typedef volatile struct timer timer_t; typedef in typeref:struct:timer
34 extern timer_t * const globalTimer;
/seL4-mcs-10.1.1/include/plat/imx31/plat/machine/
H A Dtimer.h39 typedef volatile struct timer timer_t; typedef in typeref:struct:timer
40 extern timer_t *gpt;
/seL4-mcs-10.1.1/include/plat/omap3/plat/machine/
H A Dtimer.h52 typedef volatile struct timer timer_t; typedef in typeref:struct:timer
53 extern timer_t *timer;
/seL4-mcs-10.1.1/src/plat/omap3/machine/
H A Dhardware.c32 timer_t *timer = (timer_t *) GPTIMER9_PPTR;
/seL4-mcs-10.1.1/src/plat/am335x/machine/
H A Dhardware.c33 timer_t *timer = (timer_t *) DMTIMER0_PPTR;
/seL4-mcs-10.1.1/include/plat/exynos_common/plat/machine/
H A Dmct.h117 typedef volatile struct mct_map timer_t; typedef in typeref:struct:mct_map
118 extern timer_t *mct;
/seL4-mcs-10.1.1/src/plat/imx31/machine/
H A Dhardware.c31 timer_t *gpt = (timer_t *) GPT_PPTR;

Completed in 109 milliseconds