GUEST_CS_LIMIT   1375 arch/x86/kvm/vmx.c 	vmcs_write32(GUEST_CS_LIMIT, 0xffff);
GUEST_CS_LIMIT   2050 arch/x86/kvm/vmx.c 	vmcs_write32(GUEST_CS_LIMIT, 0xffff);