vmx_guest_debugctl_read
vmx->nested.pre_vmenter_debugctl = vmx_guest_debugctl_read();
u64 data = vmx_guest_debugctl_read();
if (vmx_guest_debugctl_read() & DEBUGCTLMSR_LBR)
if (!(vmx_guest_debugctl_read() & DEBUGCTLMSR_LBR))
msr_info->data = vmx_guest_debugctl_read();