From fd240d6d9f34ad18dbffdb17f971ff7ec4d89578 Mon Sep 17 00:00:00 2001
From: Jung-uk Kim <jkim@FreeBSD.org>
Date: Wed, 19 Jan 2011 17:09:07 +0000
Subject: [PATCH] Fix yet another fallout from r208833.  VM86 BIOS call may
 cause page fault when FPU is in use.

Reported by:	Marc UBM Bocklet (ubm dot freebsd at googlemail dot com)
Tested by:	b. f. (bf1783 at googlemail dot com)
MFC after:	3 days
---
 sys/i386/i386/vm86bios.s | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/sys/i386/i386/vm86bios.s b/sys/i386/i386/vm86bios.s
index 36b5b1486e6a..db8aea09d6b2 100644
--- a/sys/i386/i386/vm86bios.s
+++ b/sys/i386/i386/vm86bios.s
@@ -73,10 +73,9 @@ ENTRY(vm86_bioscall)
 	je 	1f			/* no curproc/npxproc */
 	pushl	%edx
 	movl	TD_PCB(%ecx),%ecx
-	addl	$PCB_SAVEFPU,%ecx
-	pushl	%ecx
+	pushl	PCB_SAVEFPU(%ecx)
 	call	npxsave
-	popl	%ecx
+	addl	$4,%esp
 	popl	%edx			/* recover our pcb */
 1:
 	popfl