Searched refs:timer (Results 1 - 25 of 48) sorted by relevance

12

/seL4-l4v-10.1.1/seL4/include/plat/allwinnerA20/plat/machine/
H A Dtimer.h19 struct timer { struct
27 typedef volatile struct timer timer_t;
28 extern timer_t *timer;
32 timer->tmr_irq_sta_reg = TMR0_IRQ_PEND_FLAG;
/seL4-l4v-10.1.1/HOL4/examples/hardware/hol88/MISC/
H A Dinit.ml3 timer true;;
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/machine/
H A Dpriv_timer.h20 struct timer { struct
26 typedef volatile struct timer timer_t;
H A Dgeneric_timer.h17 #include <arch/machine/timer.h>
20 /* ARM generic timer implementation */
H A Dtimer.h18 #include <mode/machine/timer.h>
24 /* but multiply by timer tick ms */
/seL4-l4v-10.1.1/seL4/include/plat/imx31/plat/machine/
H A Dtimer.h19 struct timer { struct
26 typedef volatile struct timer timer_t;
/seL4-l4v-10.1.1/seL4/src/plat/omap3/machine/
H A Dhardware.c21 #include <plat/machine/timer.h>
35 timer_t *timer = (timer_t *) GPTIMER9_PPTR; variable
40 /* Configure gptimer9 as kernel timer */
41 timer->cfg = TIOCP_CFG_SOFTRESET;
43 while (!timer->tistat);
48 timer->tldr = 0xFFFFFFFFUL - TIMER_RELOAD;
51 timer->tier = TIER_OVERFLOWENABLE;
54 timer->tcrr = 0xFFFFFFFFUL - TIMER_RELOAD;
56 /* Set autoreload and start the timer */
57 timer
[all...]
/seL4-l4v-10.1.1/seL4/src/plat/allwinnerA20/machine/
H A Dhardware.c21 #include <plat/machine/timer.h>
30 timer_t *timer = (timer_t *) TIMER0_PPTR + TIMER0_OFFSET; variable
32 /* Configure gptimer11 as kernel preemption timer */
37 timer->tmr0_intv_value_reg = TIMER_RELOAD;
40 timer->tmr_irq_en_reg = TMR0_IRQ_EN_FLAG;
42 /* Set autoreload and start the timer */
43 timer->tmr0_ctrl_reg = TIMER_CTL_EN_FLAG | TIMER_CTL_RELOAD_FLAG;
/seL4-l4v-10.1.1/seL4/include/plat/am335x/plat/machine/
H A Dtimer.h22 struct timer { struct
43 typedef volatile struct timer timer_t;
44 extern timer_t *timer;
48 timer->tisr = TISR_OVF_FLAG;
/seL4-l4v-10.1.1/seL4/include/plat/omap3/plat/machine/
H A Dtimer.h21 struct timer { struct
44 typedef volatile struct timer timer_t;
45 extern timer_t *timer;
49 timer->tisr = TISR_OVF_FLAG;
/seL4-l4v-10.1.1/seL4/src/plat/am335x/machine/
H A Dhardware.c21 #include <plat/machine/timer.h>
33 timer_t *timer = (timer_t *) DMTIMER0_PPTR; variable
79 /* Configure dmtimer0 as kernel preemption timer */
88 timer->cfg = TIOCP_CFG_SOFTRESET;
90 for (timeout = 10000; (timer->cfg & TIOCP_CFG_SOFTRESET) && timeout > 0; timeout--)
93 printf("init timer failed\n");
100 timer->tldr = 0xFFFFFFFFUL - TIMER_RELOAD;
103 timer->tier = TIER_OVERFLOWENABLE;
106 timer->tcrr = 0xFFFFFFFFUL - TIMER_RELOAD;
108 /* Set autoreload and start the timer */
[all...]
/seL4-l4v-10.1.1/isabelle/src/Tools/jEdit/src/
H A Dprocess_indicator.scala31 private val timer =
39 timer.setRepeats(true)
45 timer.stop
50 timer.setInitialDelay(delay)
51 timer.setDelay(delay)
52 timer.restart
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/jEdit/src/
H A Dprocess_indicator.scala31 private val timer =
39 timer.setRepeats(true)
45 timer.stop
50 timer.setInitialDelay(delay)
51 timer.setDelay(delay)
52 timer.restart
/seL4-l4v-10.1.1/seL4/src/plat/apq8064/machine/
H A Dtimer.c13 #include <plat/machine/timer.h>
17 struct timer { struct
24 typedef volatile struct timer timer_t;
44 /* Stop the timer */
47 /* Configure the timer */
49 /* Start the timer */
/seL4-l4v-10.1.1/seL4/src/arch/arm/machine/
H A Dpriv_timer.c11 /* A9 MPCORE private timer */
12 #include <machine/timer.h>
13 #include <arch/machine/timer.h>
H A Dgeneric_timer.c13 #include <plat/machine/timer.h>
/seL4-l4v-10.1.1/HOL4/src/integer/testing/
H A Dtestdp.sml24 val timer = Timer.startCPUTimer() value
26 val {usr,...} = Timer.checkCPUTimer timer
/seL4-l4v-10.1.1/HOL4/src/prekernel/
H A DLib.sml372 fun end_time timer =
374 val {sys, usr} = Timer.checkCPUTimer timer
375 val gc = Timer.checkGCTime timer
384 val timer = start_time () value
385 val y = f x handle e => (end_time timer; raise e)
387 end_time timer; y
392 fun end_real_time timer =
393 say ("realtime: " ^ Time.toString (Timer.checkRealTimer timer) ^ "s\n")
397 val timer = start_real_time () value
398 val y = f x handle e => (end_real_time timer; rais
[all...]
/seL4-l4v-10.1.1/seL4/src/plat/exynos4/machine/
H A Dhardware.c17 #include <plat/machine/timer.h>
/seL4-l4v-10.1.1/HOL4/examples/HolCheck/
H A DprofTools.sml52 (* start timer s, if already present, do not reset the aggregates *)
58 (* update aggregates for timer s *)
67 fun prt s = (* print info for timer s if not hidden*)
111 fun ht s =if !prf then (hid := add(!hid,s)) else () (* hide timer s *)
113 fun uht s = if !prf then (hid := delete(!hid,s)) else () handle NotFound => () (* unhide timer *)
/seL4-l4v-10.1.1/HOL4/src/portableML/poly/
H A DMultithreading.sml104 val timer = Timer.startRealTimer (); value
106 val time = Timer.checkRealTimer timer;
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DTimer.sml71 fun checkCPUTimes (timer as { gcUTime, gcSTime, ... }) =
73 val { usr, sys } = checkCPUTimer timer
/seL4-l4v-10.1.1/seL4/src/plat/imx31/machine/
H A Dhardware.c21 #include <plat/machine/timer.h>
43 /* Configure EPIT1 as kernel preemption timer */
49 /* Stop timer */
52 /* Configure timer */
74 /* Enable timer */
/seL4-l4v-10.1.1/HOL4/tools/
H A Dconfigure-mosml.sml47 val timer = Timer.startRealTimer() value
50 val time_now = Timer.checkRealTimer timer
58 val timer = start_timer() value
60 val elapsed = timer()
/seL4-l4v-10.1.1/seL4/src/object/
H A Dinterrupt.c24 #include <machine/timer.h>
25 #include <plat/machine/timer.h>

Completed in 187 milliseconds

12