PR/54847 CVS commit: src/sys/dev/nvmm/x86

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

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

From: "Maxime Villard" <maxv%netbsd.org@localhost>
To: gnats-bugs%gnats.NetBSD.org@localhost
Cc: 
Subject: PR/54847 CVS commit: src/sys/dev/nvmm/x86
Date: Thu, 9 Jan 2020 16:20:12 +0000

 Module Name:	src
 Committed By:	maxv
 Date:		Thu Jan  9 16:20:12 UTC 2020
 
 Modified Files:
 	src/sys/dev/nvmm/x86: nvmm_x86_vmx.c
 
 Log Message:
 Mmh, as noted in PR/54847, this should be uint64_t, not uint16_t. Harmless
 because we use only the two lowest bits anyway.
 
 I believe this could be caught by KUBSAN; time to do another round of
 NVMM+K_SAN testing.
 
 
 To generate a diff of this commit:
 cvs rdiff -u -r1.46 -r1.47 src/sys/dev/nvmm/x86/nvmm_x86_vmx.c
 
 Please note that diffs are not public domain; they are subject to the
 copyright notices on the relevant files.