diff options
| author | Stefano Stabellini <stefano.stabellini@eu.citrix.com> | 2013-01-17 16:48:24 +0000 |
|---|---|---|
| committer | Stefano Stabellini <stefano.stabellini@eu.citrix.com> | 2013-01-17 16:48:24 +0000 |
| commit | b765caf5101a42aca5a60af605717fa1f5db5146 (patch) | |
| tree | 01f3e231dd5851c26a414336286605f1e2476efa /xen/include/asm-arm/time.h | |
| parent | 550d4d96d7c8c8b628979a4fda0fb438304afcbb (diff) | |
| download | xen-b765caf5101a42aca5a60af605717fa1f5db5146.tar.gz xen-b765caf5101a42aca5a60af605717fa1f5db5146.tar.bz2 xen-b765caf5101a42aca5a60af605717fa1f5db5146.zip | |
xen/arm: support the ARM generic virtual timer
Save and restore the virtual timer registers during the context switch.
At save time initialize an internal Xen timer to make sure that Xen
schedules the guest vcpu at the time of the next virtual timer
interrupt.
Receive the virtual timer interrupt into the hypervisor and inject it
into the running guest.
Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
Committed-by: Ian Campbell <ian.campbell@citrix.com>
Diffstat (limited to 'xen/include/asm-arm/time.h')
| -rw-r--r-- | xen/include/asm-arm/time.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/xen/include/asm-arm/time.h b/xen/include/asm-arm/time.h index 8cc9e78888..0d4a052307 100644 --- a/xen/include/asm-arm/time.h +++ b/xen/include/asm-arm/time.h @@ -15,6 +15,9 @@ struct tm wallclock_time(void); /* Set up the timer interrupt on this CPU */ extern void __cpuinit init_timer_interrupt(void); +/* Counter value at boot time */ +extern uint64_t boot_count; + #endif /* __ARM_TIME_H__ */ /* * Local variables: |