Lines Matching refs:regs_avail
1121 if (!(vmx->vcpu.arch.regs_avail & (1 << VCPU_EXREG_SEGMENTS))) { in vmx_segment_cache_test_set()
1122 vmx->vcpu.arch.regs_avail |= (1 << VCPU_EXREG_SEGMENTS); in vmx_segment_cache_test_set()
1589 if (!test_bit(VCPU_EXREG_RFLAGS, (ulong *)&vcpu->arch.regs_avail)) { in vmx_get_rflags()
1590 __set_bit(VCPU_EXREG_RFLAGS, (ulong *)&vcpu->arch.regs_avail); in vmx_get_rflags()
1604 __set_bit(VCPU_EXREG_RFLAGS, (ulong *)&vcpu->arch.regs_avail); in vmx_set_rflags()
1605 __clear_bit(VCPU_EXREG_CPL, (ulong *)&vcpu->arch.regs_avail); in vmx_set_rflags()
2229 __set_bit(reg, (unsigned long *)&vcpu->arch.regs_avail); in vmx_cache_reg()
2887 __set_bit(VCPU_EXREG_CR3, (ulong *)&vcpu->arch.regs_avail); in vmx_decache_cr3()
2922 (unsigned long *)&vcpu->arch.regs_avail); in ept_save_pdptrs()
2933 if (!test_bit(VCPU_EXREG_CR3, (ulong *)&vcpu->arch.regs_avail)) in ept_update_paging_mode_cr0()
2992 __clear_bit(VCPU_EXREG_CPL, (ulong *)&vcpu->arch.regs_avail); in vmx_set_cr0()
3128 if (!test_bit(VCPU_EXREG_CPL, (ulong *)&vcpu->arch.regs_avail)) { in vmx_get_cpl()
3129 __set_bit(VCPU_EXREG_CPL, (ulong *)&vcpu->arch.regs_avail); in vmx_get_cpl()
3203 __clear_bit(VCPU_EXREG_CPL, (ulong *)&vcpu->arch.regs_avail); in vmx_set_segment()
3818 vcpu->arch.regs_avail = ~((1 << VCPU_REGS_RIP) | (1 << VCPU_REGS_RSP)); in vmx_vcpu_reset()
6244 vcpu->arch.regs_avail = ~((1 << VCPU_REGS_RIP) | (1 << VCPU_REGS_RSP) in vmx_vcpu_run()