1 #ifndef _ASM_VFP_H 2 #define _ASM_VFP_H 3 4 #include <xen/sched.h> 5 6 #if defined(CONFIG_ARM_32) 7 # include <asm/arm32/vfp.h> 8 #elif defined(CONFIG_ARM_64) 9 # include <asm/arm64/vfp.h> 10 #else 11 # error "Unknown ARM variant" 12 #endif 13 14 void vfp_save_state(struct vcpu *v); 15 void vfp_restore_state(struct vcpu *v); 16 17 #endif /* _ASM_VFP_H */ 18 /* 19 * Local variables: 20 * mode: C 21 * c-file-style: "BSD" 22 * c-basic-offset: 4 23 * indent-tabs-mode: nil 24 * End: 25 */ 26