diff options
Diffstat (limited to 'xen/arch/x86/i387.c')
| -rw-r--r-- | xen/arch/x86/i387.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/xen/arch/x86/i387.c b/xen/arch/x86/i387.c index bc75be99a5..eb5ff9479b 100644 --- a/xen/arch/x86/i387.c +++ b/xen/arch/x86/i387.c @@ -22,7 +22,7 @@ void init_fpu(void) set_bit(_VCPUF_fpu_initialised, ¤t->vcpu_flags); } -void save_init_fpu(struct exec_domain *tsk) +void save_init_fpu(struct vcpu *tsk) { /* * The guest OS may have set the 'virtual STTS' flag. @@ -45,7 +45,7 @@ void save_init_fpu(struct exec_domain *tsk) stts(); } -void restore_fpu(struct exec_domain *tsk) +void restore_fpu(struct vcpu *tsk) { /* * FXRSTOR can fault if passed a corrupted data block. We handle this |