Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/mmu/mmu.c get_mmio_spte() -> get_sptes_lockless()

Type Parameter Key Value
PARAM_VALUE 0 vcpu 4096-ptr_max
PARAM_VALUE 0 vcpu->arch.apic->vcpu->kvm->arch.apic_map->xapic_flat_map->lapic_timer.timer_mode 0-4294967295
PARAM_VALUE 0 vcpu->arch.emulate_ctxt->ops->get_cr 4096-ptr_max
PARAM_VALUE 0 vcpu->arch.mmu 4096-ptr_max
PARAM_VALUE 0 vcpu->arch.mmu->root.hpa 0-18446744073709551614
PARAM_VALUE 0 vcpu->run->debug.arch.exception 1,3
PARAM_VALUE 0 vcpu->run->emulation_failure.flags 0-1
PARAM_VALUE 0 vcpu->run->emulation_failure.insn_size 1-255
PARAM_VALUE 0 vcpu->run->emulation_failure.ndata 6,8,10,12
PARAM_VALUE 0 vcpu->run->emulation_failure.suberror 1
PARAM_VALUE 0 vcpu->run->internal.ndata 0,2,4-5
PARAM_VALUE 0 vcpu->run->internal.suberror 1-4
PARAM_VALUE 0 vcpu->run->memory_fault.flags 0,8
PARAM_VALUE 0 vcpu->run->memory_fault.gpa 0,4096-18446744073709547520
PARAM_VALUE 0 vcpu->run->memory_fault.size 4096
PARAM_VALUE 2 sptes 7290992094135111680
PARAM_VALUE 3 root_level 9190738476525887488
BUF_SIZE 2 sptes 48
CAPPED_DATA 0 vcpu->arch.mmu 1
DATA_SOURCE 0 vcpu $0
DATA_SOURCE 1 addr $1
USER_DATA 0 *vcpu->arch.emulate_ctxt->fetch.end 0-255
UNITS 1 addr unit_byte
USER_PTR 0 vcpu->arch.emulate_ctxt->fetch.end

arch/x86/kvm/mmu/mmu.c kvm_mmu_print_sptes() -> get_sptes_lockless()

Type Parameter Key Value
PARAM_VALUE 0 vcpu 4096-ptr_max
PARAM_VALUE 0 vcpu->arch.nested_run_pending 0
PARAM_VALUE 0 vcpu->arch.regs_avail 4096-ptr_max
PARAM_VALUE 0 vcpu->kvm 4096-ptr_max
PARAM_VALUE 2 sptes 6271243958572433408
PARAM_VALUE 3 root_level 3719063011817164800
BUF_SIZE 2 sptes 48
DATA_SOURCE 0 vcpu $0
DATA_SOURCE 1 addr $1
STR_LEN 0 vcpu 3
STR_LEN 0 vcpu 3