VMCS_HOST_IA32_CS_SEL
if (vmwrite(VMCS_HOST_IA32_CS_SEL, GSEL(GCODE_SEL, SEL_KPL))) {
vmx_dump_vmcs_field(VMCS_HOST_IA32_CS_SEL, "H.CS");