vmm: Use VLAPIC_CTR* in more places.
Reviewed by: corvink, markj
Differential Revision: https://reviews.freebsd.org/D37155
(cherry picked from commit d030f941e63f5b20efa14833912aae29ff737fcf)
vmm: Use VLAPIC_CTR* in more places. Tags None Referenced Files None Subscribers None
Description
Details
|