timer_t (reference) in projects: seL4-master

Searched refs:timer_t (Results 1 – 12 of 12) sorted by relevance

/seL4-master/src/drivers/timer/
A D	kpss-timer.c	`20 typedef volatile struct timer timer_t; typedef 21 timer_t dgt_tmr = (timer_t ) DGT_TIMER_PPTR;`
A D	global_timer.c	`9 timer_t const globalTimer = (timer_t ) TIMER_PPTR;`
A D	exynos4210-mct.c	`20 timer_t mct = (timer_t ) EXYNOS_MCT_PPTR;`
A D	priv_timer.c	`12 timer_t const priv_timer = (timer_t ) ARM_MP_PRIV_TIMER_PPTR;`
A D	omap3430-timer.c	`25 timer_t timer = (timer_t ) TIMER_PPTR;`
A D	exynos4412-mct.c	`13 timer_t mct = (timer_t ) EXYNOS_MCT_PPTR;`
A D	am335x-timer.c	`29 timer_t timer = (timer_t ) TIMER_PPTR;`
/seL4-master/include/drivers/timer/
A D	arm_priv.h	`18 typedef volatile struct timer timer_t; typedef 19 extern timer_t *const priv_timer;`
A D	arm_global.h	`31 typedef volatile struct timer timer_t; typedef 32 extern timer_t *const globalTimer;`
A D	omap3430.h	`37 typedef volatile struct timer timer_t; typedef 38 extern timer_t *timer;`
A D	am335x.h	`36 typedef volatile struct timer timer_t; typedef 37 extern timer_t *timer;`
A D	mct.h	`113 typedef volatile struct mct_map timer_t; typedef 114 extern timer_t *mct;`

Completed in 11 milliseconds