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