HomeSort by: relevance | last modified time | path
    Searched refs:VIRQ_TIMER (Results 1 - 3 of 3) sorted by relevancy

  /src/sys/arch/xen/xen/
evtchn.c 109 /* event-channel <-> VCPU mapping for VIRQ_TIMER. XXX: redo for SMP. */
240 /* No VIRQ_TIMER -> event mappings. */
565 * XXX: The only per-cpu VIRQ we currently use is VIRQ_TIMER.
578 if (virq == VIRQ_TIMER) {
595 if (virq == VIRQ_TIMER) {
617 if (virq == VIRQ_TIMER) {
637 if (virq == VIRQ_TIMER) {
xen_clock.c 670 * Find the VIRQ_TIMER event channel and close it so new timer
678 evtch = unbind_virq_from_evtch(VIRQ_TIMER);
722 * Allocate an event channel to receive VIRQ_TIMER events.
724 evtch = bind_virq_to_evtch(VIRQ_TIMER);
728 * Set an event handler for VIRQ_TIMER events to call
  /src/sys/external/mit/xen-include-public/dist/xen/include/public/
xen.h 171 #define VIRQ_TIMER 0 /* V. Timebase update, and/or requested timeout. */

Completed in 60 milliseconds