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