vcpu_mark_events_pending (definition) in projects: xen

Searched defs:vcpu_mark_events_pending (Results 1 – 2 of 2) sorted by relevance

/xen/xen/arch/arm/
A D	domain.c	`1071 void vcpu_mark_events_pending(struct vcpu *v) in vcpu_mark_events_pending() function`
/xen/xen/arch/x86/
A D	domain.c	`2251 void vcpu_mark_events_pending(struct vcpu *v) in vcpu_mark_events_pending() function`

Completed in 9 milliseconds