Index: sys/i386/i386/vm86bios.s
===================================================================
--- sys/i386/i386/vm86bios.s	(revision 217516)
+++ sys/i386/i386/vm86bios.s	(working copy)
@@ -73,8 +73,7 @@ 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
 	popl	%edx			/* recover our pcb */