GUEST_CS_LIMIT
EVMCS1_FIELD(GUEST_CS_LIMIT, guest_cs_limit,
vmcs_write32(GUEST_CS_LIMIT, vmcs12->guest_cs_limit);
case GUEST_CS_LIMIT:
vmcs12->guest_cs_limit = vmcs_read32(GUEST_CS_LIMIT);
FIELD(GUEST_CS_LIMIT, guest_cs_limit),
case GUEST_CS_LIMIT:
case GUEST_CS_LIMIT:
vmwrite(GUEST_CS_LIMIT, -1);