Searched refs:regs_dirty (Results 1 – 5 of 5) sorted by relevance
23 __set_bit(reg, (unsigned long *)&vcpu->arch.regs_dirty); in kvm_register_write()
1911 (unsigned long *)&vcpu->arch.regs_dirty)) in ept_load_pdptrs()1934 (unsigned long *)&vcpu->arch.regs_dirty); in ept_save_pdptrs()4014 if (test_bit(VCPU_REGS_RSP, (unsigned long *)&vcpu->arch.regs_dirty)) in vmx_vcpu_run()4016 if (test_bit(VCPU_REGS_RIP, (unsigned long *)&vcpu->arch.regs_dirty)) in vmx_vcpu_run()4129 vcpu->arch.regs_dirty = 0; in vmx_vcpu_run()
1031 vcpu->arch.regs_dirty = ~0; in svm_vcpu_reset()3690 vcpu->arch.regs_dirty &= ~(1 << VCPU_EXREG_PDPTR); in svm_vcpu_run()
455 (unsigned long *)&vcpu->arch.regs_dirty); in load_pdptrs()4274 vcpu->arch.regs_dirty = ~0; in cache_all_regs()
282 u32 regs_dirty; member