Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

arch/x86/kvm/xen.c kvm_xen_hvm_set_attr() -> kvm_gpc_activate()

Type Parameter Key Value
PARAM_VALUE 0 gpc 4096-ptr_max
PARAM_VALUE 1 gpa 0,4096-18446744073709543424
PARAM_VALUE 2 len 4096
USER_DATA 1 gpa 0,4096-18446744073709543424
UNITS 2 len unit_byte
LOCK2 &kvm->arch.xen.xen_lock
LOCK2 &kvm->srcu
TYPE_LOCK (struct kvm)->srcu
TYPE_LOCK (struct kvm_xen)->xen_lock

arch/x86/kvm/xen.c kvm_xen_update_runstate_guest() -> kvm_gpc_activate()

Type Parameter Key Value
PARAM_VALUE 0 gpc 4096-ptr_max
PARAM_VALUE 0 gpc->kvm 4096-ptr_max
PARAM_VALUE 0 gpc->lock.dep_map->name 0-255
PARAM_VALUE 2 len 1-47,18446744073709547564-u64max
BUF_SIZE 0 gpc 304
NOSPEC 0 gpc->gpa
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 gpc->gpa 0-18446744073709551614[c]
USER_DATA 0 gpc->pfn 0-4503599627370494[c]
USER_DATA 0 gpc->uhva 0-u64max[c]
USER_DATA 2 len 1-46,18446744073709547564-u64max[c]
UNITS 1 gpa unit_byte
UNITS 2 len unit_byte
LOCK2 &v->kvm->srcu
HALF_LOCKED2 &v->kvm->arch.xen.xen_lock
HALF_LOCKED2 &vcpu->mutex
TYPE_LOCK (struct kvm)->srcu

arch/x86/kvm/xen.c kvm_xen_vcpu_set_attr() -> kvm_gpc_activate()

Type Parameter Key Value
PARAM_VALUE 0 gpc 4096-ptr_max
PARAM_VALUE 1 gpa 0-18446744073709551614
PARAM_VALUE 2 len 64
USER_DATA 1 gpa 0-18446744073709551614
UNITS 1 gpa unit_byte
UNITS 2 len unit_byte
LOCK2 &vcpu->kvm->arch.xen.xen_lock
LOCK2 &vcpu->kvm->srcu
LOCK2 &vcpu->mutex
TYPE_LOCK (struct kvm)->srcu
TYPE_LOCK (struct kvm_vcpu)->mutex
TYPE_LOCK (struct kvm_xen)->xen_lock

arch/x86/kvm/xen.c kvm_xen_vcpu_set_attr() -> kvm_gpc_activate()

Type Parameter Key Value
PARAM_VALUE 0 gpc 4096-ptr_max
PARAM_VALUE 1 gpa 0-18446744073709551614
PARAM_VALUE 2 len 32
USER_DATA 1 gpa 0-18446744073709551614
UNITS 1 gpa unit_byte
UNITS 2 len unit_byte
LOCK2 &vcpu->kvm->arch.xen.xen_lock
LOCK2 &vcpu->kvm->srcu
LOCK2 &vcpu->mutex
TYPE_LOCK (struct kvm)->srcu
TYPE_LOCK (struct kvm_vcpu)->mutex
TYPE_LOCK (struct kvm_xen)->xen_lock

arch/x86/kvm/xen.c kvm_xen_vcpu_set_attr() -> kvm_gpc_activate()

Type Parameter Key Value
PARAM_VALUE 0 gpc 4096-ptr_max
PARAM_VALUE 1 gpa 0-18446744073709551614
PARAM_VALUE 2 len 2-4096
USER_DATA 1 gpa 0-18446744073709551614
USER_DATA 2 len 2-4096[c]
UNITS 1 gpa unit_byte
UNITS 2 len unit_byte
LOCK2 &vcpu->kvm->arch.xen.xen_lock
LOCK2 &vcpu->kvm->srcu
LOCK2 &vcpu->mutex
TYPE_LOCK (struct kvm)->srcu
TYPE_LOCK (struct kvm_vcpu)->mutex
TYPE_LOCK (struct kvm_xen)->xen_lock

arch/x86/kvm/xen.c kvm_xen_vcpu_set_attr() -> kvm_gpc_activate()

Type Parameter Key Value
PARAM_VALUE 0 gpc 4096-ptr_max
PARAM_VALUE 2 len 1-46
CAPPED_DATA 1 gpa 1
CAPPED_DATA 2 len 1
CAPPED_DATA 2 len 1
FUZZY_MAX 2 len 46
HARD_MAX 2 len 46
USER_DATA 2 len 1-46[c]
UNITS 1 gpa unit_byte
UNITS 2 len unit_byte
LOCK2 &vcpu->kvm->arch.xen.xen_lock
LOCK2 &vcpu->kvm->srcu
LOCK2 &vcpu->mutex
TYPE_LOCK (struct kvm)->srcu
TYPE_LOCK (struct kvm_vcpu)->mutex
TYPE_LOCK (struct kvm_xen)->xen_lock

arch/x86/kvm/msrs.c kvm_write_system_time() -> kvm_gpc_activate()

Type Parameter Key Value
PARAM_VALUE 0 gpc 4096-ptr_max
PARAM_VALUE 1 gpa 0,2-u64max
PARAM_VALUE 2 len 32
BIT_INFO 1 gpa 0x0,0xfffffffffffffffe
NOCHECK_CALL
UNITS 2 len unit_byte