Open Menu /

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 len 0,24,4072,4096,18446744073709547544
PARAM_VALUE 1 offset 0
DATA_SOURCE 0 len $2 [m]
UNITS 0 len unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 len 0,24,4048,4072,18446744073709543448,18446744073709543472,18446744073709547520,18446744073709547544,18446744073709547568,18446744073709551592
PARAM_VALUE 1 offset 0
DATA_SOURCE 0 len $2 [m]
UNITS 0 len unit_byte

arch/x86/kvm/../../../virt/kvm/kvm_main.c kvm_read_guest() -> next_segment()

Type Parameter Key Value
PARAM_VALUE 0 len 0-65536,18446744073709547521-u64max
PARAM_VALUE 1 offset 0-4095
DATA_SOURCE 0 len $3 [m]
FUZZY_MAX 1 offset 0
PREEMPT_ADD
USER_DATA 0 len 0-65534,18446744073709547522-u64max[c][u]
USER_DATA 1 offset 1-4095[c]
UNITS 0 len unit_byte
HALF_LOCKED2 _T->lock

arch/x86/kvm/../../../virt/kvm/kvm_main.c kvm_read_guest() -> next_segment()

Type Parameter Key Value
PARAM_VALUE 0 len 0-u16max,18446744073709547520-u64max
PARAM_VALUE 1 offset 0
DATA_SOURCE 0 len $3 [m]
PREEMPT_ADD
USER_DATA 0 len 0-65533,18446744073709547520-u64max[u]
UNITS 0 len unit_byte
HALF_LOCKED2 _T->lock

arch/x86/kvm/../../../virt/kvm/kvm_main.c kvm_vcpu_read_guest() -> next_segment()

Type Parameter Key Value
PARAM_VALUE 0 len 0-s32max,18446744071562067968-u64max
PARAM_VALUE 1 offset 0-4095
DATA_SOURCE 0 len $3 [m]
FUZZY_MAX 0 len 2
FUZZY_MAX 1 offset 0
NO_OVERFLOW_SIMPLE 0 len
UNITS 0 len unit_byte

arch/x86/kvm/../../../virt/kvm/kvm_main.c kvm_vcpu_read_guest() -> next_segment()

Type Parameter Key Value
PARAM_VALUE 0 len 0-2147483646,18446744073709547520-u64max
PARAM_VALUE 1 offset 0
DATA_SOURCE 0 len $3 [m]
NO_OVERFLOW_SIMPLE 0 len
UNITS 0 len unit_byte

arch/x86/kvm/../../../virt/kvm/kvm_main.c kvm_vcpu_write_guest() -> next_segment()

Type Parameter Key Value
PARAM_VALUE 0 len 0-s32max,18446744071562067968-u64max
PARAM_VALUE 1 offset 0-4095
DATA_SOURCE 0 len $3 [m]
FUZZY_MAX 1 offset 0
PREEMPT_ADD
NO_OVERFLOW_SIMPLE 0 len
UNITS 0 len unit_byte
HALF_LOCKED2 &hv->hv_lock
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex

arch/x86/kvm/../../../virt/kvm/kvm_main.c kvm_vcpu_write_guest() -> next_segment()

Type Parameter Key Value
PARAM_VALUE 0 len 0-2147483646,18446744073709547520-u64max
PARAM_VALUE 1 offset 0
DATA_SOURCE 0 len $3 [m]
PREEMPT_ADD
NO_OVERFLOW_SIMPLE 0 len
UNITS 0 len unit_byte
HALF_LOCKED2 &hv->hv_lock
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex

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

Type Parameter Key Value
PARAM_VALUE 1 offset 0-4095
DATA_SOURCE 0 len $3 [m]
FUZZY_MAX 1 offset 0
PREEMPT_ADD
USER_DATA 1 offset 1-4095[c]
UNITS 0 len unit_byte
HALF_LOCKED2 _T->lock

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

Type Parameter Key Value
PARAM_VALUE 1 offset 0
DATA_SOURCE 0 len $3 [m]
PREEMPT_ADD
UNITS 0 len unit_byte
HALF_LOCKED2 _T->lock