Home
last modified time | relevance | path

Searched refs:VIRQ_TIMER (Results 1 – 6 of 6) sorted by relevance

/xen/tools/ocaml/libs/eventchn/
A Dxeneventchn.ml25 | Timer (* #define VIRQ_TIMER 0 *)
A Dxeneventchn.mli26 | Timer (* #define VIRQ_TIMER 0 *)
/xen/xen/arch/arm/
A Dtime.c345 send_guest_vcpu_virq(v, VIRQ_TIMER); in send_timer_event()
/xen/xen/include/public/
A Dxen.h181 #define VIRQ_TIMER 0 /* V. Timebase update, and/or requested timeout. */ macro
/xen/xen/common/
A Devent_channel.c134 case VIRQ_TIMER: in virq_is_global()
/xen/xen/arch/x86/
A Dtime.c2170 send_guest_vcpu_virq(v, VIRQ_TIMER); in send_timer_event()

Completed in 662 milliseconds