Open Menu /

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 nested_vmx_write_pml_buffer() -> kvm_write_guest_page()

Type Parameter Key Value
PARAM_VALUE 1 gfn 0-4503599627370495
PARAM_VALUE 3 offset 0-4095
PARAM_VALUE 4 len 8
BUF_SIZE 2 data 8
UNITS 0 kvm unit_byte
UNITS 4 len unit_byte

arch/x86/kvm/../../../virt/kvm/kvm_main.c kvm_clear_guest() -> kvm_write_guest_page()

Type Parameter Key Value
PARAM_VALUE 2 data 18379471554275704832,18446612682070032384
PARAM_VALUE 3 offset 0
PARAM_VALUE 4 len 24,4072,4096
DATA_SOURCE 0 kvm $0
DATA_SOURCE 4 len $2 [m]
UNITS 0 kvm unit_byte
UNITS 1 gfn unit_page
UNITS 4 len unit_byte

arch/x86/kvm/../../../virt/kvm/kvm_main.c kvm_write_guest() -> kvm_write_guest_page()

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 3 offset 0-4095
PARAM_VALUE 4 len 1-4096
BUF_SIZE 2 data s32min,(-1),1-65536
BUF_SIZE 2 data s32min,(-1),1-65536
CAPPED_DATA 4 len 1
DATA_SOURCE 0 kvm $0
DATA_SOURCE 2 data $2 [m]
FUZZY_MAX 3 offset 0
PREEMPT_ADD
USER_DATA 1 gfn 0-4503599627370495[c]
USER_DATA 2 data 4096-ptr_max[c][u]
USER_DATA 3 offset 1-4095[c]
USER_DATA 4 len 2-4095[c]
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
UNITS 0 kvm unit_byte
UNITS 1 gfn unit_page
UNITS 4 len unit_byte
HALF_LOCKED2 _T->lock
HALF_LOCKED2 0 &kvm->srcu