Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 gpc 4096-ptr_max
PARAM_VALUE 1 uhva 1-u64max
PARAM_VALUE 2 len 4096
BIT_INFO 1 uhva 0x0,0xfffffffffffff000
BIT_INFO 1 uhva 0x0,0xfffffffffffff000
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_vcpu_set_attr() -> kvm_gpc_activate_hva()

Type Parameter Key Value
PARAM_VALUE 0 gpc 4096-ptr_max
PARAM_VALUE 1 uhva 1-u64max
PARAM_VALUE 2 len 64
USER_DATA 1 uhva 1-u64max
UNITS 1 uhva 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