Symbol: vmx_msr_ptr