Searched refs:kvm_register_mark_available (Results 1 – 4 of 4) sorted by relevance
| /linux/arch/x86/kvm/ |
| H A D | kvm_cache_regs.h | 80 static inline void kvm_register_mark_available(struct kvm_vcpu *vcpu, in kvm_register_mark_available() function
|
| /linux/arch/x86/kvm/vmx/ |
| H A D | vmx.c | 850 kvm_register_mark_available(&vmx->vcpu, VCPU_EXREG_SEGMENTS); in vmx_segment_cache_test_set() 1616 kvm_register_mark_available(vcpu, VCPU_EXREG_RFLAGS); in vmx_get_rflags() 1639 kvm_register_mark_available(vcpu, VCPU_EXREG_RFLAGS); in vmx_set_rflags() 2604 kvm_register_mark_available(vcpu, reg); in vmx_cache_reg() 3379 kvm_register_mark_available(vcpu, VCPU_EXREG_PDPTR); in ept_save_pdptrs() 3422 kvm_register_mark_available(vcpu, VCPU_EXREG_CR0); in vmx_set_cr0() 3567 kvm_register_mark_available(vcpu, VCPU_EXREG_CR4); in vmx_set_cr4() 5034 kvm_register_mark_available(vcpu, VCPU_EXREG_SEGMENTS); in vmx_vcpu_reset() 7551 kvm_register_mark_available(vcpu, VCPU_EXREG_EXIT_INFO_1); in vmx_vcpu_run() 7553 kvm_register_mark_available(vcpu, VCPU_EXREG_EXIT_INFO_2); in vmx_vcpu_run()
|
| H A D | nested.c | 4975 kvm_register_mark_available(vcpu, VCPU_EXREG_CR3); in nested_vmx_restore_host_state()
|
| /linux/arch/x86/kvm/svm/ |
| H A D | svm.c | 1528 kvm_register_mark_available(vcpu, reg); in svm_cache_reg()
|