Searched refs:GUEST_CS_BASE (Results 1 – 2 of 2) sorted by relevance
209 GUEST_CS_BASE = 0x00006808, enumerator
1806 if (vmcs_readl(GUEST_CS_BASE) == 0xffff0000) in enter_rmode()1807 vmcs_writel(GUEST_CS_BASE, 0xf0000); in enter_rmode()1808 vmcs_write16(GUEST_CS_SELECTOR, vmcs_readl(GUEST_CS_BASE) >> 4); in enter_rmode()2785 vmcs_writel(GUEST_CS_BASE, 0x000f0000); in vmx_vcpu_reset()2788 vmcs_writel(GUEST_CS_BASE, vmx->vcpu.arch.sipi_vector << 12); in vmx_vcpu_reset()3172 kvm_run->debug.arch.pc = vmcs_readl(GUEST_CS_BASE) + rip; in handle_exception()3327 vmcs_readl(GUEST_CS_BASE) + in handle_dr()