Searched refs:timer (Results 1 - 25 of 160) sorted by path

1234567

/seL4-refos-master/apps/nethack/src/nethack-3.4.3/doc/
H A DGuidebook.tex2602 moving objects, use a timer rather than sending extra characters to the
2604 uses a timer based delay. The default is on if configured into the
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/
H A Dqt_win.h677 virtual void timerEvent(QTimerEvent* timer);
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/
H A Dtimeout.c385 /* stop previous timer, if any */
408 /* stop previous timer, if any */
412 /* timer callback routine: hatch the given egg */
603 /* stop previous timer, if any */
1017 * a timer.
1132 * Stop a burn timeout on the given object if timer attached. Darken
1149 /* [DS] Cleanup explicitly, since timer cleanup won't happen */
1162 * Cleanup a burning object if timer stopped.
1241 * Start a timer of kind 'kind' that will expire at time
1244 * a timer wa
[all...]
/seL4-refos-master/apps/timer_server/src/
H A Ddevice_timer.c23 #include <platsupport/timer.h>
24 #include <platsupport/plat/timer.h>
29 @brief timer server timer device manager.
31 This module is responsible for managing the timer state. IT is a thin wrapper on top of the
32 timer device drivers provided by libplatsupport.
35 to save its reply cap and reply to it when on the timer IRQ when its sleep period has expired.
36 The timer module sets up frequent periodic timer IRQs in order to do this.
44 /* ---------------------- Platform specific timer devic
[all...]
H A Ddevice_timer.h22 #include <platsupport/timer.h>
23 #include <platsupport/plat/timer.h>
26 @brief timer server timer device manager. */
45 /*! This should point to a timer device. */
48 /*! This should point to a timer device that is capable of generating periodic interrupts.
57 /*! @brief Initialies the timer device management module.
58 @param s The global timer device state structure (No ownership).
64 @param s The global timer device state structure (No ownership).
71 @param s The global timer devic
[all...]
/seL4-refos-master/libs/libplatsupport/plat_include/apq8064/platsupport/plat/
H A Dtimer.h16 #include <platsupport/timer.h>
20 /* frequency of the generic timer */
141 int gpt_timer_start(timer_t *timer);
142 int gpt_timer_stop(timer_t *timer);
143 uint64_t gpt_get_time(timer_t *timer);
144 void gpt_handle_irq(timer_t *timer);
145 int gpt_periodic(timer_t *timer, uint64_t ns);
147 int dgt_timer_start(timer_t *timer);
148 int dgt_timer_stop(timer_t *timer);
149 uint64_t dpt_get_time(timer_t *timer);
[all...]
/seL4-refos-master/libs/libplatsupport/plat_include/bcm2837/platsupport/plat/
H A Dspt.h14 #include <platsupport/timer.h>
25 uint32_t load; /* Sets value for timer to count down */
26 uint32_t value; /* Holds the current timer value */
27 uint32_t ctrl; /* Control register for timer */
31 uint32_t reload; /* Also timer reload value, only it doesn't force a reload */
44 /* vaddr timer is mapped to */
H A Dsystem_timer.h12 #include <platsupport/timer.h>
22 /* The system timer frequency is fixed a 1 MHz */
27 * IRQs generated when timer matches occur.
29 * The system timer generates a different IRQ for each of the 4 match
42 * The standard IRQs start at 64, and this timer uses the first 4 IRQs,
67 int system_timer_init(system_timer_t *timer, system_timer_config_t config);
69 uint64_t system_timer_get_time(system_timer_t *timer);
71 int system_timer_set_timeout(system_timer_t *timer, uint64_t ns);
73 int system_timer_handle_irq(system_timer_t *timer);
75 int system_timer_reset(system_timer_t *timer);
[all...]
/seL4-refos-master/libs/libplatsupport/plat_include/hikey/platsupport/plat/
H A Drtc.h14 #include <platsupport/timer.h>
/seL4-refos-master/libs/libplatsupport/plat_include/odroidc2/platsupport/plat/
H A Dmeson_timer.h15 #include <platsupport/timer.h>
97 int meson_init(meson_timer_t *timer, meson_timer_config_t config);
98 uint64_t meson_get_time(meson_timer_t *timer);
99 void meson_set_timeout(meson_timer_t *timer, uint16_t timeout, bool periodic);
100 void meson_stop_timer(meson_timer_t *timer);
/seL4-refos-master/libs/libplatsupport/plat_include/pc99/platsupport/plat/
H A Dhpet.h17 #include <platsupport/timer.h>
63 * whether timer0 (the timer used by hpet_get_timer) supports fsb
H A Dpit.h17 #include <platsupport/timer.h>
/seL4-refos-master/libs/libplatsupport/plat_include/tk1/platsupport/plat/
H A Dtimer.h14 #include <platsupport/mach/timer.h>
/seL4-refos-master/libs/libplatsupport/plat_include/tx1/platsupport/plat/
H A Dtimer.h14 #include <platsupport/mach/timer.h>
/seL4-refos-master/libs/libplatsupport/plat_include/zynq7000/platsupport/plat/
H A Dtimer.h13 #include <platsupport/mach/timer.h>
/seL4-refos-master/libs/libplatsupport/plat_include/zynqmp/platsupport/plat/
H A Dtimer.h21 #include <platsupport/mach/timer.h>
/seL4-refos-master/libs/libplatsupport/src/arch/arm/
H A Dgeneric_timer.c23 uint64_t generic_timer_get_time(generic_timer_t *timer) argument
25 return freq_cycles_and_hz_to_ns(generic_timer_get_ticks(), timer->freq);
28 int generic_timer_get_init(generic_timer_t *timer) argument
31 if (timer == NULL) {
32 ZF_LOGE("Must provide memory for generic timer");
37 ZF_LOGE("Generic timer not exported!");
42 timer->freq = generic_timer_get_freq();
45 if (timer->freq == 0) {
50 if (timer->freq == 0) {
51 /* fail init, we don't know what the frequency of the timer i
[all...]
/seL4-refos-master/libs/libplatsupport/src/plat/apq8064/
H A Dtimer.c21 #include <platsupport/plat/timer.h>
227 /**** GPT timer functions ****/
229 gpt_timer_start(timer_t *timer) argument
231 gpt_regs_t* regs = (gpt_regs_t*)timer->data;
237 gpt_timer_stop(timer_t *timer) argument
239 gpt_regs_t* regs = (gpt_regs_t*)timer->data;
245 gpt_get_time(timer_t *timer) argument
247 gpt_regs_t* regs = (gpt_regs_t*)timer->data;
252 gpt_periodic(timer_t *timer, uint64_t ns) argument
254 gpt_regs_t* regs = (gpt_regs_t*)timer
322 gpt_handle_irq(UNUSED timer_t *timer) argument
329 dgt_timer_start(timer_t *timer) argument
337 dgt_timer_stop(timer_t *timer) argument
345 dgt_get_time(timer_t *timer) argument
352 dgt_periodic(timer_t *timer, uint64_t ns) argument
370 dgt_handle_irq(UNUSED timer_t *timer) argument
377 tmr_timer_start(timer_t *timer) argument
385 tmr_timer_stop(timer_t *timer) argument
393 tmr_get_time(timer_t *timer) argument
400 tmr_periodic(timer_t *timer, uint64_t ns) argument
432 tmr_handle_irq(timer_t *timer) argument
441 wdt_timer_start(timer_t *timer) argument
453 wdt_get_time(timer_t *timer) argument
460 wdt_periodic(timer_t *timer, uint64_t ns) argument
478 timer_init(timer_t *timer, timer_config_t config) argument
[all...]
/seL4-refos-master/libs/libplatsupport/src/plat/bcm2837/
H A Dspt.c19 #include <platsupport/timer.h>
22 /* The arm timer on the BCM2837 is based on a SP804 timer with some modifications
24 - Only one timer
29 - Has an additional up counter register that will count up on each timer tick and
32 Functions by setting a value in the load register which the timer will move to the value
106 /* Enable timer */
116 /* Disable timer */
121 /* Set up the timer to fire an interrupt every ns nanoseconds.
153 /* Configure timer */
[all...]
H A Dsystem_timer.c16 #include <platsupport/timer.h>
20 * The system timer on the BCM283[5-7] is fairly simple in its nature.
27 int system_timer_init(system_timer_t *timer, system_timer_config_t config) { argument
28 if (timer == NULL || config.vaddr == NULL) {
32 timer->regs = config.vaddr;
37 uint64_t system_timer_get_time(system_timer_t *timer) { argument
38 if (timer == NULL) {
42 uint64_t initial_high = timer->regs->counter_high;
43 uint64_t low = timer->regs->counter_low;
44 uint64_t high = timer
56 system_timer_set_timeout(system_timer_t *timer, uint64_t ns) argument
89 system_timer_handle_irq(system_timer_t *timer) argument
99 system_timer_reset(system_timer_t *timer) argument
[all...]
/seL4-refos-master/libs/libplatsupport/src/plat/odroidc2/
H A Dmeson_timer.c16 #include <platsupport/timer.h>
19 int meson_init(meson_timer_t *timer, meson_timer_config_t config) argument
21 if (timer == NULL || config.vaddr == NULL) {
25 timer->regs = (void *)((uintptr_t) config.vaddr + (TIMER_BASE + TIMER_REG_START * 4 - TIMER_MAP_BASE));
27 timer->regs->mux = TIMER_A_EN | (TIMESTAMP_TIMEBASE_1_US << TIMER_E_INPUT_CLK) |
30 timer->regs->timer_e = 0;
35 uint64_t meson_get_time(meson_timer_t *timer) argument
37 uint64_t initial_high = timer->regs->timer_e_hi;
38 uint64_t low = timer->regs->timer_e;
39 uint64_t high = timer
49 meson_set_timeout(meson_timer_t *timer, uint16_t timeout, bool periodic) argument
65 meson_stop_timer(meson_timer_t *timer) argument
[all...]
/seL4-refos-master/libs/librefossys/src/
H A Dsys_timer.c18 #include <refos-io/timer.h>
33 seL4_DebugPrintf("Could not initialise timer file.");
/seL4-refos-master/libs/libsel4allocman/include/allocman/
H A Dallocman.h62 #include <sel4platsupport/timer.h>
416 * Helper function for adding device untypeds from platform specific timer objects
/seL4-refos-master/libs/libsel4platsupport/include/sel4platsupport/
H A Dtimer.h16 #include <platsupport/timer.h>
29 typedef void (*handle_irq_fn_t)(seL4_timer_t *timer, uint32_t irq);
30 typedef void (*destroy_fn_t)(seL4_timer_t *timer, vka_t *vka, vspace_t *vspace);
42 /* os independent timer interface */
45 /* objects allocated for this timer */
48 /* sel4 specific functions to call to deal with timer */
51 /* destroy this timer, it will no longer be valid */
73 * Initialise the default timer for this platform and do all of the seL4 related work.
79 * The passed ops interface is retained by the timer and must stay valid until the timer i
[all...]
/seL4-refos-master/libs/libsel4utils/include/sel4utils/
H A Dprocess.h24 #include <sel4platsupport/timer.h>
292 * Helper function for copying timer IRQs and Device untyped caps into another process.

Completed in 226 milliseconds

1234567