GUEST_CS_AR_BYTES 1318 arch/x86/kvm/vmx.c 	vmcs_write32(GUEST_CS_AR_BYTES, 0x9b);
GUEST_CS_AR_BYTES 1374 arch/x86/kvm/vmx.c 	vmcs_write32(GUEST_CS_AR_BYTES, 0xf3);
GUEST_CS_AR_BYTES 1688 arch/x86/kvm/vmx.c 	u32 ar = vmcs_read32(GUEST_CS_AR_BYTES);
GUEST_CS_AR_BYTES 2051 arch/x86/kvm/vmx.c 	vmcs_write32(GUEST_CS_AR_BYTES, 0x9b);