vmx_msr_ptr
const uint64_t *msrp = vmx_msr_ptr(vmx, vcpu, msr);
uint64_t *msrp = vmx_msr_ptr(vmx, vcpu, msr);