1 /* 2 * xen/arch/arm/vtimer.h 3 * 4 * ARM Virtual Timer emulation support 5 * 6 * Ian Campbell <ian.campbell@citrix.com> 7 * Copyright (c) 2011 Citrix Systems. 8 * 9 * This program is free software; you can redistribute it and/or modify 10 * it under the terms of the GNU General Public License as published by 11 * the Free Software Foundation; either version 2 of the License, or 12 * (at your option) any later version. 13 * 14 * This program is distributed in the hope that it will be useful, 15 * but WITHOUT ANY WARRANTY; without even the implied warranty of 16 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 17 * GNU General Public License for more details. 18 */ 19 20 #ifndef __ARCH_ARM_VTIMER_H__ 21 #define __ARCH_ARM_VTIMER_H__ 22 23 extern int domain_vtimer_init(struct domain *d, 24 struct xen_arch_domainconfig *config); 25 extern int vcpu_vtimer_init(struct vcpu *v); 26 extern bool vtimer_emulate(struct cpu_user_regs *regs, union hsr hsr); 27 extern int virt_timer_save(struct vcpu *v); 28 extern int virt_timer_restore(struct vcpu *v); 29 extern void vcpu_timer_destroy(struct vcpu *v); 30 31 #endif 32 33 /* 34 * Local variables: 35 * mode: C 36 * c-file-style: "BSD" 37 * c-basic-offset: 4 38 * indent-tabs-mode: nil 39 * End: 40 */ 41