Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/emulate.c emulate_int_real() -> writeback_registers()

Type Parameter Key Value
PARAM_VALUE 0 ctxt 4096-ptr_max
PARAM_VALUE 0 ctxt->_eip 0-u16max
PARAM_VALUE 0 ctxt->ad_bytes 2
PARAM_VALUE 0 ctxt->dst.type 7
PARAM_VALUE 0 ctxt->op_bytes 2
PARAM_VALUE 0 ctxt->ops 4096-ptr_max
PARAM_VALUE 0 ctxt->ops->get_cr 4096-ptr_max
PARAM_VALUE 0 ctxt->ops->get_idt 4096-ptr_max
PARAM_VALUE 0 ctxt->ops->get_msr 4096-ptr_max
PARAM_VALUE 0 ctxt->ops->intercept 4096-ptr_max
PARAM_VALUE 0 ctxt->ops->set_segment 4096-ptr_max
PARAM_VALUE 0 ctxt->ops->write_std 4096-ptr_max
PARAM_VALUE 0 ctxt->src.data 0-u32max
PARAM_VALUE 0 ctxt->src.mm_val 0-u32max
PARAM_VALUE 0 ctxt->src.val 0-u32max
PARAM_VALUE 0 ctxt->src.val64 0-u32max
PARAM_VALUE 0 ctxt->src.valptr 0-u32max
PARAM_VALUE 0 ctxt->vcpu->arch.gva_walk.cpu_role.base.cr0_wp 0-1
PARAM_VALUE 0 ctxt->vcpu->arch.ngpa_walk.cpu_role.base.cr0_wp 0-1
PARAM_VALUE 0 ctxt->vcpu->kvm->arch.indirect_shadow_pages 0-4294967295
PARAM_VALUE 0 ctxt->vcpu->kvm->mmu_lock.owner_cpu 0-4294967295
PARAM_VALUE 0 ctxt->vcpu->kvm->mmu_lock.raw_lock.wlocked 0-255
PARAM_VALUE 0 ctxt->vcpu->kvm->vm_bugged 0-1
PARAM_VALUE 0 ctxt->vcpu->kvm->vm_dead 0-1
PARAM_VALUE 0 ctxt->vcpu->last_used_slot->as_id 0-1
PARAM_VALUE 0 ctxt->vcpu->last_used_slot->gmem.pgoff 0-2251799813685247
PARAM_VALUE 0 ctxt->vcpu->last_used_slot->id 0-32766
PARAM_VALUE 0 ctxt->vcpu->mmio_cur_fragment 0
PARAM_VALUE 0 ctxt->vcpu->mmio_is_write 0-1
PARAM_VALUE 0 ctxt->vcpu->mmio_needed 1
PARAM_VALUE 0 ctxt->vcpu->mmio_nr_fragments s32min-s32max
PARAM_VALUE 0 ctxt->vcpu->run->exit_reason 6
PARAM_VALUE 0 ctxt->vcpu->run->mmio.is_write 0-1
PARAM_VALUE 0 ctxt->vcpu->run->mmio.len 0-8
PARAM_VALUE 0 *ctxt->vcpu->run->mmio.data 0-255
CAPPED_DATA 0 ctxt->vcpu->arch.mmio_gva 1
DATA_SOURCE 0 ctxt $0
NOCHECK_CALL
USER_DATA 0 ctxt->src.val 0-u32max

arch/x86/kvm/emulate.c emulator_task_switch() -> writeback_registers()

Type Parameter Key Value
PARAM_VALUE 0 ctxt 4096-ptr_max
PARAM_VALUE 0 ctxt->dst.type 7
PARAM_VALUE 0 ctxt->ops 4096-ptr_max
PARAM_VALUE 0 ctxt->ops->get_cached_segment_base 4096-ptr_max
PARAM_VALUE 0 ctxt->ops->get_segment 4096-ptr_max
PARAM_VALUE 0 ctxt->vcpu->kvm->vm_bugged 0-1
PARAM_VALUE 0 ctxt->vcpu->kvm->vm_dead 0-1
DATA_SOURCE 0 ctxt $0
NOCHECK_CALL
USER_DATA 0 *ctxt->vcpu->arch.pdptrs s64min-s64max
USER_PTR 0 ctxt->fetch.end
USER_PTR 0 ctxt->vcpu->arch.pdptrs

arch/x86/kvm/emulate.c emulator_writeback_register_cache() -> writeback_registers()

Type Parameter Key Value
DATA_SOURCE 0 ctxt $0
NOCHECK_CALL
USER_DATA 0 *ctxt->fetch.end 0-255
USER_PTR 0 ctxt->fetch.end
LOCK2 &vcpu->mutex
HALF_LOCKED2 &vcpu->kvm->srcu
TYPE_LOCK (struct kvm_vcpu)->mutex