PR/53399 CVS commit: src/sys/arch/x86/x86

["Maxime Villard" <maxv%netbsd.org@localhost>]

The following reply was made to PR kern/53399; it has been noted by GNATS.

From: "Maxime Villard" <maxv%netbsd.org@localhost>
To: gnats-bugs%gnats.NetBSD.org@localhost
Cc: 
Subject: PR/53399 CVS commit: src/sys/arch/x86/x86
Date: Fri, 29 Jun 2018 19:34:35 +0000

 Module Name:	src
 Committed By:	maxv
 Date:		Fri Jun 29 19:34:35 UTC 2018
 
 Modified Files:
 	src/sys/arch/x86/x86: fpu.c
 
 Log Message:
 Add more KASSERTs.
 
 Should help PR/53399.
 
 
 To generate a diff of this commit:
 cvs rdiff -u -r1.43 -r1.44 src/sys/arch/x86/x86/fpu.c
 
 Please note that diffs are not public domain; they are subject to the
 copyright notices on the relevant files.