Searched refs:GUEST_CS_BASE (Results 1 – 2 of 2) sorted by relevance
213 GUEST_CS_BASE = 0x00006808, enumerator
540 FIELD(GUEST_CS_BASE, guest_cs_base),2794 if (vmcs_readl(GUEST_CS_BASE) == 0xffff0000) in enter_rmode()2795 vmcs_writel(GUEST_CS_BASE, 0xf0000); in enter_rmode()2796 vmcs_write16(GUEST_CS_SELECTOR, vmcs_readl(GUEST_CS_BASE) >> 4); in enter_rmode()3844 vmcs_writel(GUEST_CS_BASE, 0x000f0000); in vmx_vcpu_reset()3847 vmcs_writel(GUEST_CS_BASE, vmx->vcpu.arch.sipi_vector << 12); in vmx_vcpu_reset()4271 kvm_run->debug.arch.pc = vmcs_readl(GUEST_CS_BASE) + rip; in handle_exception()4478 vmcs_readl(GUEST_CS_BASE) + in handle_dr()6488 vmcs_writel(GUEST_CS_BASE, vmcs12->guest_cs_base);6898 vmcs12->guest_cs_base = vmcs_readl(GUEST_CS_BASE);