VMCS_HOST_IA32_GS_BASE
if (vmwrite(VMCS_HOST_IA32_GS_BASE, (uint64_t)ci)) {
__func__, VMCS_HOST_IA32_GS_BASE,
vmx_dump_vmcs_field(VMCS_HOST_IA32_GS_BASE, "H. GS Base");