Re: kern/54847 (xsetbv value has uint16_t type instead of uint64_t)

[maxv%NetBSD.org@localhost]

Synopsis: xsetbv value has uint16_t type instead of uint64_t

State-Changed-From-To: open->closed
State-Changed-By: maxv%NetBSD.org@localhost
State-Changed-When: Thu, 09 Jan 2020 16:30:56 +0000
State-Changed-Why:
Why did I do this? I don't know, in SVM the code is correct but not in VMX.
This issue is harmless, but fixed now. Thanks for the report!