virt_timer_restore (reference) in projects: xen

Searched refs:virt_timer_restore (Results 1 – 3 of 3) sorted by relevance

/xen/xen/include/asm-arm/
A D	vtimer.h	`28 extern void virt_timer_restore(struct vcpu *v);`
/xen/xen/arch/arm/
A D	vtimer.c	`152 void virt_timer_restore(struct vcpu *v) in virt_timer_restore() function`
A D	domain.c	`275 virt_timer_restore(n); in ctxt_switch_to()`

Completed in 5 milliseconds