vmm: Use VLAPIC_CTR* in more places.
Reviewed by: corvink, markj Differential Revision: https://reviews.freebsd.org/D37155