Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
arch/x86/kvm/vmx/nested.c handle_vmptrld() -> kvm_read_guest_offset_cached()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | kvm | 4096-ptr_max |
| PARAM_VALUE | 1 | ghc | 4096-ptr_max |
| PARAM_VALUE | 1 | ghc->memslot | 0,4096-ptr_max |
| PARAM_VALUE | 2 | data | 6077833543185326080 |
| PARAM_VALUE | 3 | offset | 0 |
| PARAM_VALUE | 4 | len | 4 |
| BUF_SIZE | 1 | ghc | 40 |
| BUF_SIZE | 2 | data | 4 |
| USER_DATA | 1 | ghc->hva | 1-18446612682070036478[c][u] |
| UNITS | 0 | kvm | unit_byte |
| UNITS | 4 | len | unit_byte |
arch/x86/kvm/vmx/nested.c nested_vmx_check_vmcs_link_ptr() -> kvm_read_guest_offset_cached()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | kvm->arch.apic_map->xapic_flat_map->lapic_timer.timer_advance_ns | 0-4294967295 |
| PARAM_VALUE | 0 | kvm->arch.apic_map->xapic_flat_map->lapic_timer.timer_mode | 0-4294967295 |
| PARAM_VALUE | 0 | kvm->arch.apic_map->xapic_flat_map->lapic_timer.timer_mode_mask | 0-4294967295 |
| PARAM_VALUE | 1 | ghc | 4096-ptr_max |
| PARAM_VALUE | 1 | ghc->memslot | 0,4096-ptr_max |
| PARAM_VALUE | 2 | data | 6443061552584654848 |
| PARAM_VALUE | 3 | offset | 0 |
| PARAM_VALUE | 4 | len | 4 |
| BUF_SIZE | 1 | ghc | 40 |
| BUF_SIZE | 2 | data | 4 |
| UNITS | 0 | kvm | unit_byte |
| UNITS | 4 | len | unit_byte |
arch/x86/kvm/x86.c apf_pageready_slot_free() -> kvm_read_guest_offset_cached()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | kvm->arch.apicv_update_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | kvm->arch.apicv_update_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | ghc | 4096-ptr_max |
| PARAM_VALUE | 2 | data | 1729176071244767232 |
| PARAM_VALUE | 3 | offset | 4 |
| PARAM_VALUE | 4 | len | 4 |
| BUF_SIZE | 2 | data | 4 |
| PREEMPT_ADD | |||
| UNITS | 0 | kvm | unit_byte |
| UNITS | 4 | len | unit_byte |
| HALF_LOCKED2 | &vcpu->mutex | ||
| HALF_LOCKED2 | 0 | &kvm->srcu |
arch/x86/kvm/../../../virt/kvm/kvm_main.c kvm_read_guest_cached() -> kvm_read_guest_offset_cached()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | kvm->arch.apicv_update_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | kvm->arch.apicv_update_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | ghc | 4096-ptr_max |
| PARAM_VALUE | 3 | offset | 0 |
| PARAM_VALUE | 4 | len | 1,4,624,4096 |
| BUF_SIZE | 1 | ghc | (-1),40 |
| BUF_SIZE | 1 | ghc | (-1),40 |
| BUF_SIZE | 2 | data | (-1),4,624 |
| BUF_SIZE | 2 | data | (-1),4,624 |
| DATA_SOURCE | 0 | kvm | $0 |
| DATA_SOURCE | 1 | ghc | $1 |
| DATA_SOURCE | 2 | data | $2 |
| DATA_SOURCE | 4 | len | $3 |
| HARD_MAX | 4 | len | 4096 |
| NO_OVERFLOW_SIMPLE | 0 | kvm->arch.split_desc_cache.kmem_cache->sheaf_capacity | |
| NO_OVERFLOW_SIMPLE | 0 | kvm->arch.split_page_header_cache.kmem_cache->sheaf_capacity | |
| NO_OVERFLOW_SIMPLE | 0 | kvm->arch.split_shadow_page_cache.kmem_cache->sheaf_capacity | |
| NO_OVERFLOW_SIMPLE | 0 | kvm->mm | |
| NO_OVERFLOW_SIMPLE | 0 | kvm->mm->context.ldt | |
| NO_OVERFLOW_SIMPLE | 0 | kvm->mm->context.ldt->entries | |
| NO_OVERFLOW_SIMPLE | 0 | kvm->mm->notifier_subscriptions | |
| UNITS | 0 | kvm | unit_byte |
| UNITS | 4 | len | unit_byte |
| HALF_LOCKED2 | &vcpu->mutex | ||
| HALF_LOCKED2 | 0 | &kvm->srcu |