VMX_BASIC_INOUT
return vmcs_config.basic & VMX_BASIC_INOUT;
VMX_BASIC_INOUT |
msrs->basic |= VMX_BASIC_INOUT;